diff options
| author | Cyril Cohen | 2019-05-23 17:33:43 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2019-10-16 11:32:41 +0200 |
| commit | 115a253d125015e7622f94c92fbf3d00f5f77e20 (patch) | |
| tree | 8014bb819a988441199b00322a0dc4915f8e0b4a /docs/javascripts | |
| parent | 948dec69615691de382278609a5b130ad5a485d3 (diff) | |
renaming new `reindex_` lemmas with prefix `big_`
Diffstat (limited to 'docs/javascripts')
0 files changed, 0 insertions, 0 deletions