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 /new-luxc/source/luxc/lang/translation/jvm/extension.lux | |
| parent | 6eaa3b57f3f1ea2ce13b942bdb4ef502fc1729bc (diff) | |
Split new-luxc into lux-jvm and lux-r.
Diffstat (limited to 'new-luxc/source/luxc/lang/translation/jvm/extension.lux')
| -rw-r--r-- | new-luxc/source/luxc/lang/translation/jvm/extension.lux | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/new-luxc/source/luxc/lang/translation/jvm/extension.lux b/new-luxc/source/luxc/lang/translation/jvm/extension.lux deleted file mode 100644 index 9066dd156..000000000 --- a/new-luxc/source/luxc/lang/translation/jvm/extension.lux +++ /dev/null @@ -1,16 +0,0 @@ -(.module: - [lux #* - [data - [collection - ["." dictionary]]]] - [//// - [host - [jvm (#+ Bundle)]]] - ["." / #_ - ["#." common] - ["#." host]]) - -(def: #export bundle - Bundle - (dictionary.merge /common.bundle - /host.bundle)) |