Migrate modules/.gitignore into .gitignore

* .gitignore: Add former contents of modules/.gitignore.
* modules/.gitignore: Remove.
This commit is contained in:
Paul Eggert
2015-11-19 08:21:10 -08:00
parent c8404f48a3
commit ca3bc790a7
2 changed files with 3 additions and 8 deletions

8
modules/.gitignore vendored
View File

@@ -1,8 +0,0 @@
# built modules
*.so
# built DOCFILEs
*.doc
# include makefile for now
!Makefile