diff options
author | Eduardo Julian | 2020-05-30 15:19:28 -0400 |
---|---|---|
committer | Eduardo Julian | 2020-05-30 15:19:28 -0400 |
commit | b4d0eba7485caf0c6cf58de1193a9114fa273d8b (patch) | |
tree | f6f7fa2967bb5923347db1ed1d4c9b08e56bf8c6 /.gitignore | |
parent | 6eaa3b57f3f1ea2ce13b942bdb4ef502fc1729bc (diff) |
Split new-luxc into lux-jvm and lux-r.
Diffstat (limited to '')
-rw-r--r-- | .gitignore | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/.gitignore b/.gitignore index 95dbbee14..0900603b4 100644 --- a/.gitignore +++ b/.gitignore @@ -16,11 +16,11 @@ pom.xml.asc /lux-lein/target -/new-luxc/target -/new-luxc/source/lux.lux -/new-luxc/source/lux -/new-luxc/source/program -/new-luxc/source/spec +/lux-jvm/target +/lux-jvm/source/lux.lux +/lux-jvm/source/lux +/lux-jvm/source/program +/lux-jvm/source/spec /lux-js/target /lux-js/source/lux.lux @@ -64,3 +64,9 @@ pom.xml.asc /lux-scheme/source/program /lux-scheme/source/spec +/lux-r/target +/lux-r/source/lux.lux +/lux-r/source/lux +/lux-r/source/program +/lux-r/source/spec + |