diff options
| author | krangelov <kr.angelov@gmail.com> | 2019-08-30 08:12:52 +0200 |
|---|---|---|
| committer | krangelov <kr.angelov@gmail.com> | 2019-08-30 08:12:52 +0200 |
| commit | 1e8d684f9af9bab29461ace0f015ceb06fdee04e (patch) | |
| tree | 22c126c70b244d4631987fe09ff911a05ea5d8a5 /.gitignore | |
| parent | 72cfc1f48a2cbae9e51102f78868cf6c1efa4550 (diff) | |
| parent | 724bf6729561254fa1f23a8ccf7fd35baf213fc5 (diff) | |
Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 6025f5a4b..0ee62cfb2 100644 --- a/.gitignore +++ b/.gitignore @@ -44,6 +44,8 @@ cabal.sandbox.config .stack-work DATA_DIR +stack*.yaml.lock + # Generated documentation (not exhaustive) demos/index-numbers.html demos/resourcegrammars.html |