diff options
| author | Enrico Tassi | 2015-12-11 16:13:56 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2015-12-11 16:13:56 +0100 |
| commit | f943e8d62fe88b0e387f94f23e1990b996d9f8a3 (patch) | |
| tree | 6624edeaf39fe46432b8c6e198a8a103bb71569e /mathcomp | |
| parent | 006565bdb5b473afff5f834e4b20320bb0a419fd (diff) | |
8.5 coqdoc does not want _ to be escaped + more .css classes
Diffstat (limited to 'mathcomp')
0 files changed, 0 insertions, 0 deletions