diff options
author | Eduardo Julian | 2019-06-14 23:38:53 -0400 |
---|---|---|
committer | Eduardo Julian | 2019-06-14 23:38:53 -0400 |
commit | 7ee04017ee2ef5376c566b00750fd521c0ecac42 (patch) | |
tree | fd7bac69714079cfc9bd44bb56fad0321350f534 /stdlib/source/program/licentia/license/extension.lux | |
parent | fcb8ce8340f4226a38d08f9e2f108e5ec0a95018 (diff) |
Some fixes for the scripting languages.
+ Small optimizations for pattern-matching generation.
Diffstat (limited to 'stdlib/source/program/licentia/license/extension.lux')
0 files changed, 0 insertions, 0 deletions