diff options
author | Eduardo Julian | 2017-11-15 22:30:57 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-11-15 22:30:57 -0400 |
commit | f11c10f72d003555d76c9803954e2bd8b347362d (patch) | |
tree | f484e9876e6a4d5bba9098315155d7d898766bc9 /luxdoc/source/program.lux | |
parent | 53ccae1625d46cf57247b9fb1cb9f4c28b0a0ad4 (diff) |
- Moved "/type/*" to from "lux/meta/" to "lux/".
Diffstat (limited to 'luxdoc/source/program.lux')
0 files changed, 0 insertions, 0 deletions