diff options
| author | Eduardo Julian | 2017-06-23 19:50:21 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-06-23 19:50:21 -0400 |
| commit | 6b04fc4a718b7eb40e72fdb02a8fa4f7cf4ea64a (patch) | |
| tree | dad5d396a27aa6141f3377aa1a078b84f2fe42d0 /license.txt | |
| parent | a282228247fd1c9c50a082f38d147a47804a905f (diff) | |
- Renamed lux/control/contract's "@pre" and "@post" to "pre" and "post".
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions