diff options
| author | Assia Mahboubi | 2015-10-26 18:41:16 +0100 |
|---|---|---|
| committer | Assia Mahboubi | 2015-10-26 18:41:16 +0100 |
| commit | 00643caee1c2fac0dcc2deb25ec98913c88c224c (patch) | |
| tree | acd80ea67d358491dd915d499240150676261be5 /mathcomp/basic/INSTALL | |
| parent | 6275cbd2d9a1e7f6ac822945713fd66ad2b9e98e (diff) | |
Small updates in the documentation of the customization of PG.
Diffstat (limited to 'mathcomp/basic/INSTALL')
0 files changed, 0 insertions, 0 deletions