diff options
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -20,5 +20,7 @@ Makefile # Files generated by Makefile src/*[^.]?? +lib/*.sm +lib/*/*.sm *-*/ *-*.tar* |
index : prokit/prokit.git | ||
ProteanOS Development Kit | Patrick McDermott |
summaryrefslogtreecommitdiffstats |
-rw-r--r-- | .gitignore | 2 |
@@ -20,5 +20,7 @@ Makefile # Files generated by Makefile src/*[^.]?? +lib/*.sm +lib/*/*.sm *-*/ *-*.tar* |