summaryrefslogtreecommitdiff
path: root/data
diff options
context:
space:
mode:
authorNicolas Courty <Nico@pc-mna-08.univ-ubs.fr>2017-09-12 18:07:17 +0200
committerNicolas Courty <Nico@pc-mna-08.univ-ubs.fr>2017-09-12 18:07:17 +0200
commit36bf599552ff15d1ca1c6b505507e65a333fa55e (patch)
tree8d508e9800bffef8c008c0872e46081c423d75dd /data
parent8ea74ad41d660629a12f7d8d0d8816a23d385a92 (diff)
Corrections on Gromov
Diffstat (limited to 'data')
-rwxr-xr-xdata/cross.png (renamed from data/rond.png)bin230 -> 230 bytes
-rwxr-xr-xdata/square.png (renamed from data/carre.png)bin168 -> 168 bytes
-rwxr-xr-xdata/star.png (renamed from data/coeur.png)bin225 -> 225 bytes
3 files changed, 0 insertions, 0 deletions
diff --git a/data/rond.png b/data/cross.png
index 1c1a068..1c1a068 100755
--- a/data/rond.png
+++ b/data/cross.png
Binary files differ
diff --git a/data/carre.png b/data/square.png
index 45ff0ef..45ff0ef 100755
--- a/data/carre.png
+++ b/data/square.png
Binary files differ
diff --git a/data/coeur.png b/data/star.png
index 3f511a6..3f511a6 100755
--- a/data/coeur.png
+++ b/data/star.png
Binary files differ