diff options
| author | Assia Mahboubi | 2015-10-26 18:30:02 +0100 |
|---|---|---|
| committer | Assia Mahboubi | 2015-10-26 18:30:02 +0100 |
| commit | 6275cbd2d9a1e7f6ac822945713fd66ad2b9e98e (patch) | |
| tree | a359c571dd89b282ddc893184eefc29d026dcd3f /mathcomp/basic | |
| parent | b0e32f633f66193a6a614c07c78ff10f8ca08ae9 (diff) | |
Restaured the config files (including doc) for PG in the ssreflect package.
Diffstat (limited to 'mathcomp/basic')
0 files changed, 0 insertions, 0 deletions