diff options
| author | Eduardo Julian | 2018-05-13 01:13:10 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-05-13 01:13:10 -0400 |
| commit | f59d42c7a9ad26014c9ff893d53336a0e5d8c7d3 (patch) | |
| tree | b45da7933fc0a97087da938ea16727b023d83b32 /license.txt | |
| parent | 38742d7c110f5a28f9ea4aec117cc531ac6c9b5e (diff) | |
- Re-named ".../eq" modules to ".../equality".
- Other minor improvements.
Diffstat (limited to 'license.txt')
0 files changed, 0 insertions, 0 deletions