diff options
| author | Eduardo Julian | 2021-06-14 18:33:54 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-06-14 18:33:54 -0400 |
| commit | 519c0c0c71cdf7ce3dfc64b9781ab826760b3d94 (patch) | |
| tree | 75fa0672afceff129e5e75afb7a5fed197ce1773 /.gitignore | |
| parent | af3e6e2cb011dc2ad9204440990731a2f272716d (diff) | |
Extracted Licentia out of the standard library.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 59455a52a..178401ebb 100644 --- a/.gitignore +++ b/.gitignore @@ -16,6 +16,10 @@ pom.xml.asc /lux-lein/target +/licentia/target +/licentia/source/lux.lux +/licentia/source/lux + /lux-jvm/target /lux-jvm/source/lux.lux /lux-jvm/source/lux |