diff options
| author | Théo Zimmermann | 2017-05-27 02:44:55 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2017-05-27 03:05:00 +0200 |
| commit | 95ea00ce688ba8c5e257a4a9bd2ea0eca4ed3748 (patch) | |
| tree | 94ea9942e212f17eed08daf5fe3e3920fa6f298b /API/grammar_API.ml | |
| parent | 92792dbdffc499d63ef772c97d0c73477be6007e (diff) | |
Add execution permission to test-suite file.
Diffstat (limited to 'API/grammar_API.ml')
0 files changed, 0 insertions, 0 deletions