diff options
| author | Cyril Cohen | 2018-04-17 19:15:59 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2018-04-17 19:15:59 +0200 |
| commit | e9e9e87a2140e30425c90debe124f67b42801313 (patch) | |
| tree | 695ffe93bc10c326a3ae66551d735b7bd3333df0 /docs/stylesheets/github-light.css | |
| parent | c1ec9cd8e7e50f73159613c492aad4c6c40bc3aa (diff) | |
Removing undocumented compatibility module
I had put this for compatibility with mathcomp 1.6 when we were still using svn, but I am afraid it got under the radar.
We should decide
- if we revert the change of `ltngtP`,
- if we document (and extend) the compatibility module
- or if we just remove the module and keep the change to `ltngtP`
I am personally in favour of the last
Diffstat (limited to 'docs/stylesheets/github-light.css')
0 files changed, 0 insertions, 0 deletions