diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2015-10-14 12:19:39 +1100 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2015-10-14 12:19:39 +1100 |
| commit | e8b414fc52cd70dc0d59a8f182eac1d72e56fa6d (patch) | |
| tree | 2e5e8222c432cdf3227ed0478169019845db73b6 | |
Ignoring compiler-generated files
| -rw-r--r-- | .gitignore | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..8345c54 --- /dev/null +++ b/.gitignore @@ -0,0 +1,5 @@ + +# ignore files generated by compilers + +*.ali +*.o |