diff options
| author | Ryan Kavanagh <rak@rak.ac> | 2020-05-30 19:16:03 -0400 |
|---|---|---|
| committer | Ryan Kavanagh <rak@rak.ac> | 2020-05-31 00:04:48 -0400 |
| commit | c760484c1abfed9cd85db8ec5eb4d659ad16ba2a (patch) | |
| tree | 3997432e131028c5947687b0722304fb739558db /.gitignore | |
| parent | Initial import of a text/gemini parser (diff) | |
Added a build system and adopt modules
Diffstat (limited to '')
| -rw-r--r-- | .gitignore | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..2ef0fce --- /dev/null +++ b/.gitignore @@ -0,0 +1,11 @@ +.gitignore +_build +*.native +*.byte +*.docdir +*.merlin + +configure +setup.data +setup.log +setup.ml |