projects / pspp / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 60c816f) | patch
doc/manual: Remove gitignore file in otherwise empty directory.
authorBen Pfaff <blp@cs.stanford.edu>
Wed, 2 Sep 2020 06:02:44 +0000 (23:02 -0700)
committerBen Pfaff <blp@cs.stanford.edu>
Wed, 2 Sep 2020 06:02:44 +0000 (23:02 -0700)
commitbe0d215fc59eee406e357e833fa0155e2d81abdf
tree3e38c02bf8815b4e4a0ccd331b21bc2a5ca327cctree | snapshot
parent60c816f21021ce094a6ecd16c5c49ba8aaef7436commit | diff
doc/manual: Remove gitignore file in otherwise empty directory.

I added this by mistake some time ago.  It's not useful.
doc/manual/.gitignore [deleted file] blob | history
Unnamed repository; edit this file to name it for gitweb.