Use .gitignore for making 'library' non-empty

bschmalhofer · Feb 22, 2009 · 0640605 · 0640605
1 parent a83c125
commit 0640605
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 3 deletions.
diff --git a/.gitignore b/.gitignore
@@ -10,8 +10,6 @@
 
 *.patch
 
-/library/*.pbc
-
 /src/pct/gen_*.pir
 
 /src/pmc/php*.c

diff --git a/library/.gitignore b/library/.gitignore
@@ -0,0 +1 @@
+/*.pbc
diff --git a/library/README b/library/README