diff options
| author | Assia Mahboubi | 2015-10-26 19:10:53 +0100 |
|---|---|---|
| committer | Assia Mahboubi | 2015-10-26 19:10:53 +0100 |
| commit | 35124d2e255e5f88d99ddc65361d6997b0a2b751 (patch) | |
| tree | 6af25d99eb77f9fabfebba99900158281221491b /mathcomp/Make | |
| parent | 254379d32d0dac9481b5e54ea54baf613bfd611a (diff) | |
Added support for highlighting 'isn't' in PG.
Diffstat (limited to 'mathcomp/Make')
0 files changed, 0 insertions, 0 deletions