diff options
| author | Jedidiah Barber <contact@jedbarber.id.au> | 2022-10-30 03:42:11 +1300 |
|---|---|---|
| committer | Jedidiah Barber <contact@jedbarber.id.au> | 2022-10-30 03:42:11 +1300 |
| commit | 95ebd2d6acfa744c5e93287cc6385f4f1359376e (patch) | |
| tree | 87cea8951f3ef00b9ad53679c7fe70c208b0ec62 /.gitignore | |
| parent | 3f290e0d6c3ef1435253095de2cf53016855840e (diff) | |
wallgen and wallsolve working, visualwall partially done, license added
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..c6a4dc3 --- /dev/null +++ b/.gitignore @@ -0,0 +1,6 @@ + + +*.cmi +*.cmx +*.o + |