commit 0ee35f6a25f7318034e2425ae90e3310deb5dd38 parent 74423fa10229a3f806d64880b4ba058f8194ae59 Author: Marcello Stanisci <marcello.stanisci@inria.fr> Date: Wed, 22 Feb 2017 14:48:10 +0100 renaming tutorial Diffstat:
| R | python/example/tutorial.py -> python/example/example.py | | | 0 |
1 file changed, 0 insertions(+), 0 deletions(-)
diff --git a/python/example/tutorial.py b/python/example/example.py