diff options
| author | Eduardo Julian | 2018-07-03 18:13:55 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-07-03 18:13:55 -0400 |
| commit | e828bada4bea51931b0c555a98bc5cd677d52e79 (patch) | |
| tree | c4e245c2e0b7d04495fa7322a656a57f7eb3423b /new-luxc/source/luxc/lang/translation/jvm/procedure/host.jvm.lux | |
| parent | b7b0dd9bd952ede4710da157b40304d714229e04 (diff) | |
- Re-named ":!!" to ":assume".
Diffstat (limited to 'new-luxc/source/luxc/lang/translation/jvm/procedure/host.jvm.lux')
0 files changed, 0 insertions, 0 deletions