diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-09-07 13:25:48 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-09-07 13:25:48 +0200 |
| commit | 0628fc8f0d9afaa9c88c578d1af517c87a28b74c (patch) | |
| tree | 46893ab1aa92920c9dcf533bbf83baa9f88914c7 /config | |
| parent | 695657b3edbd1bf9a1cadbb2c58b9c479b852111 (diff) | |
| parent | 97053f19094b5e4585e4f466e6c7a43fc1af535d (diff) | |
Merge PR #1016: 2 Typos in 'Add Parametric Morphism' Documentation
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions