diff options
author | Eduardo Julian | 2017-09-08 19:20:08 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-09-08 19:20:08 -0400 |
commit | be53e45ca4d75fa87a9029f84b95958e19a4b4fa (patch) | |
tree | 2312f9bf7adf028a08460264b0c6dcbc1f110b91 /new-luxc/source/luxc/scope.lux | |
parent | 06713336cdfd09db3eba26eda2c04db05bcd71e4 (diff) |
- Re-named luxc/env to luxc/scope.
Diffstat (limited to '')
-rw-r--r-- | new-luxc/source/luxc/scope.lux (renamed from new-luxc/source/luxc/env.lux) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/new-luxc/source/luxc/env.lux b/new-luxc/source/luxc/scope.lux index e15e01130..e15e01130 100644 --- a/new-luxc/source/luxc/env.lux +++ b/new-luxc/source/luxc/scope.lux |