diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-05-20 09:50:18 +0200 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-05-20 09:50:18 +0200 |
| commit | aff6697e7c2ad645ad54d29da12d65aded5e038a (patch) | |
| tree | f465daf078aebbc18684357d01694e2120d2424a /doc | |
| parent | 6590f705000ec0a6e0260552b48300c65aa83153 (diff) | |
| parent | ac4f528a7797ffa2fcc0b46014ec15232bd8807e (diff) | |
Merge branch 'master' of github.com:ProofGeneral/PG
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions