diff options
| author | Jason Gross | 2017-06-27 12:55:34 -0400 |
|---|---|---|
| committer | Jason Gross | 2017-06-30 13:21:10 -0400 |
| commit | eb17292767bda59f9d9452da926ac57d5bc83ae4 (patch) | |
| tree | 593f0e5904bc6b16a7cf71c6d313891cc73df455 /kernel/declareops.mli | |
| parent | 35e0f327405fb659c7ec5f9f7d26ea284aa45810 (diff) | |
Update CHANGES with inversion_sigma entry
Diffstat (limited to 'kernel/declareops.mli')
0 files changed, 0 insertions, 0 deletions