this is for holding javascript data
J.-B. Bohuon edited results.md
about 9 years ago
Commit id: e5f418e35ea14473c2b626264eaabd9d64a31cfa
deletions | additions
diff --git a/results.md b/results.md
index 7977291..b855c28 100644
--- a/results.md
+++ b/results.md
...
# Résultats
![Capture d'écran de Protégé](figures/protege-screenshop.png)