diff options
| author | Eduardo Julian | 2018-08-20 23:21:01 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-08-20 23:21:01 -0400 |
| commit | a1944a9d561e76b02717673647b87704118c03a6 (patch) | |
| tree | 36a76c0a82a9dd120152366aee3f4e1e307f8377 /.gitignore | |
| parent | 726dbf02da1ae0da3965ec0a72e99fec1730f882 (diff) | |
- More minor optimizations.
- Removed ratio syntax for Frac.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions