diff options
author | iskm <iskm@users.noreply.github.com> | 2017-04-16 18:23:07 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-04-16 18:23:07 -0400 |
commit | 9b5da77619852e9d193093eeb612e30e12991d0f (patch) | |
tree | ab82212ccc8ef484c2cef6d59213d7995bd05106 /.gitignore | |
parent | 4cb1b05ae9f892638d12a9baff728d0bb811c959 (diff) | |
parent | ed029f79066c8566e313794a6f66ae4c73614acc (diff) |
Merge pull request #3 from oplS17projects/mango0.3
Mango
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -1,2 +1,10 @@ # ignore temporary files *~ + +# ignore logs and configuration files +*.out +*.conf + +# ignore racket compile files +*.dep +*.zo |