summaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorMarc Glisse <marc.glisse@inria.fr>2019-10-27 09:01:16 +0100
committerMarc Glisse <marc.glisse@inria.fr>2019-10-27 09:01:16 +0100
commitc5eadabc2bd2df02ad80141b480492e59a88df4e (patch)
treeb47b3e5a562984cb732d10a4dba7a4ef8ad27c23 /README.md
parent6609f46ac09e2fc08723177ad2bea1ce363aa4fa (diff)
Make example executable
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions