diff options
author | Nicolas Courty <Nico@pc-mna-08.univ-ubs.fr> | 2017-09-12 18:07:17 +0200 |
---|---|---|
committer | Nicolas Courty <Nico@pc-mna-08.univ-ubs.fr> | 2017-09-12 18:07:17 +0200 |
commit | 36bf599552ff15d1ca1c6b505507e65a333fa55e (patch) | |
tree | 8d508e9800bffef8c008c0872e46081c423d75dd /data | |
parent | 8ea74ad41d660629a12f7d8d0d8816a23d385a92 (diff) |
Corrections on Gromov
Diffstat (limited to 'data')
-rwxr-xr-x | data/cross.png (renamed from data/rond.png) | bin | 230 -> 230 bytes |
-rwxr-xr-x | data/square.png (renamed from data/carre.png) | bin | 168 -> 168 bytes |
-rwxr-xr-x | data/star.png (renamed from data/coeur.png) | bin | 225 -> 225 bytes |
3 files changed, 0 insertions, 0 deletions
diff --git a/data/rond.png b/data/cross.png Binary files differindex 1c1a068..1c1a068 100755 --- a/data/rond.png +++ b/data/cross.png diff --git a/data/carre.png b/data/square.png Binary files differindex 45ff0ef..45ff0ef 100755 --- a/data/carre.png +++ b/data/square.png diff --git a/data/coeur.png b/data/star.png Binary files differindex 3f511a6..3f511a6 100755 --- a/data/coeur.png +++ b/data/star.png |