diff options
| author | Reuben Thomas <rrt@sc3d.org> | 2014-07-19 00:00:00 +0100 |
|---|---|---|
| committer | Reuben Thomas <rrt@sc3d.org> | 2014-07-19 23:49:34 +0100 |
| commit | aa96ac511050c931366be90dfb1c440d3d8c49b1 (patch) | |
| tree | 56c13285df0f53dfd511da15a3dd2322c6effa89 | |
| parent | b1a6dc5d3ec232dd40ad5ea181836cff273984e6 (diff) | |
| download | plptools-aa96ac511050c931366be90dfb1c440d3d8c49b1.tar.gz plptools-aa96ac511050c931366be90dfb1c440d3d8c49b1.tar.bz2 plptools-aa96ac511050c931366be90dfb1c440d3d8c49b1.zip | |
Remove ignore for no-longer-generated HTML file
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -25,7 +25,6 @@ Makefile /ABOUT-NLS /ChangeLog /release-notes-* -/out.html /compile /depcomp /missing |