diff options
| author | Eduardo Julian | 2021-07-17 01:48:49 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-07-17 01:48:49 -0400 |
| commit | 2c99b4515447315d76a8dc203a2dbcafc09506ea (patch) | |
| tree | abb913a594de33855b49a218e7728417fa0f850b /.gitignore | |
| parent | bfacc0c96e56eedf788aba44bd8ad2848a35c390 (diff) | |
Now properly loading cached modules.
Diffstat (limited to '')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.gitignore b/.gitignore index 84f1571c4..3807aff31 100644 --- a/.gitignore +++ b/.gitignore @@ -17,8 +17,7 @@ pom.xml.asc /lux-lein/target /licentia/target -/licentia/source/lux.lux -/licentia/source/lux +/licentia/source/library /lux-jvm/target /lux-jvm/source/library |