diff options
| author | Assia Mahboubi | 2015-10-26 18:48:38 +0100 |
|---|---|---|
| committer | Assia Mahboubi | 2015-10-26 18:48:38 +0100 |
| commit | 254379d32d0dac9481b5e54ea54baf613bfd611a (patch) | |
| tree | 695d0bcf0b5ce306f98841695ddadd6e6eab60ba /mathcomp/basic/INSTALL | |
| parent | 00643caee1c2fac0dcc2deb25ec98913c88c224c (diff) | |
Added suport for highlighting gen(erally) have in PG.
Diffstat (limited to 'mathcomp/basic/INSTALL')
0 files changed, 0 insertions, 0 deletions