diff options
| author | Grégoire Duchêne <gduchene@awhk.org> | 2014-09-10 20:20:04 +0200 |
|---|---|---|
| committer | Grégoire Duchêne <gduchene@awhk.org> | 2014-09-27 15:31:40 +0200 |
| commit | 70a66df43253ee29f3856cf48c7e08e238f5cd20 (patch) | |
| tree | 9ed2f47fa5b7a5f07b83f90a992c0ce756b63f19 | |
| parent | 506b01f6fd4f8f41855676a1bf97036227d1f4a6 (diff) | |
Added .gitignore and updated ostumake
| -rw-r--r-- | .gitignore | 5 | ||||
| m--------- | ostumake | 0 |
2 files changed, 5 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..059891a --- /dev/null +++ b/.gitignore @@ -0,0 +1,5 @@ +*.cmi +*.cmo +*.o +.Makefile.dep +tamasheq diff --git a/ostumake b/ostumake -Subproject 638d2159485e3605f5482aeda90506025a9f4d0 +Subproject c773c7c471d3614f0b1ae91a67f6a85f0584331 |