diff options
| author | Daniil Baturin <daniil@baturin.org> | 2017-01-06 00:54:57 +0700 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2017-01-06 00:54:57 +0700 |
| commit | b4c218f777e6bf6d8dfbb268cee7ed002edb455a (patch) | |
| tree | df160789070127943c76baed1430d3a907d0de5c /.gitignore | |
| parent | 321d1548d46138afdb458c4646eb32ef8683d05b (diff) | |
| download | vyconf-b4c218f777e6bf6d8dfbb268cee7ed002edb455a.tar.gz vyconf-b4c218f777e6bf6d8dfbb268cee7ed002edb455a.zip | |
Remove oasis-generated scripts from gitignore, so that simply building
vyconf doesn't require oasis.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 0 insertions, 4 deletions
@@ -11,7 +11,3 @@ *.byte setup.log setup.data -setup.ml -myocamlbuild.ml -Makefile -configure |