diff options
author | Marc Glisse <marc.glisse@inria.fr> | 2019-10-27 09:01:16 +0100 |
---|---|---|
committer | Marc Glisse <marc.glisse@inria.fr> | 2019-10-27 09:01:16 +0100 |
commit | c5eadabc2bd2df02ad80141b480492e59a88df4e (patch) | |
tree | b47b3e5a562984cb732d10a4dba7a4ef8ad27c23 /src/python/example | |
parent | 6609f46ac09e2fc08723177ad2bea1ce363aa4fa (diff) |
Make example executable
Diffstat (limited to 'src/python/example')
-rwxr-xr-x[-rw-r--r--] | src/python/example/ex_diagrams.py | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/src/python/example/ex_diagrams.py b/src/python/example/ex_diagrams.py index a3efbac9..a3efbac9 100644..100755 --- a/src/python/example/ex_diagrams.py +++ b/src/python/example/ex_diagrams.py |