diff options
author | Eduardo Julian | 2019-12-30 02:53:25 -0400 |
---|---|---|
committer | Eduardo Julian | 2019-12-30 02:53:25 -0400 |
commit | fb7f85d1095cb9ba6a402f18e701a4b14b7657dc (patch) | |
tree | 856633b8a901914199a550a2eae33c041cf03d38 /new-luxc/source/luxc/lang/directive | |
parent | 219ad63a840bb3e153af9e9f0bdf1b9f4abd0cca (diff) |
Re-located generation infrastructure.
Diffstat (limited to '')
-rw-r--r-- | new-luxc/source/luxc/lang/directive/jvm.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/new-luxc/source/luxc/lang/directive/jvm.lux b/new-luxc/source/luxc/lang/directive/jvm.lux index 821ee7605..bb6c3b1c7 100644 --- a/new-luxc/source/luxc/lang/directive/jvm.lux +++ b/new-luxc/source/luxc/lang/directive/jvm.lux @@ -22,9 +22,9 @@ [tool [compiler [synthesis (#+ Synthesis)] + ["." generation] ["." directive] ["." phase - ["." generation] ["." extension (#+ Extender) ["." bundle] [directive |