diff options
| -rw-r--r-- | .gitignore | 5 | ||||
| -rw-r--r-- | bin/.gitignore | 5 |
2 files changed, 5 insertions, 5 deletions
@@ -3,8 +3,3 @@ *.hi *.o - - -# ignore any generated binaries - -./bin/* diff --git a/bin/.gitignore b/bin/.gitignore new file mode 100644 index 0000000..ce82cfb --- /dev/null +++ b/bin/.gitignore @@ -0,0 +1,5 @@ + +# directory for binaries; no files will be tracked here + +* +!.gitignore |