diff options
| author | Matej Kosik | 2017-05-27 22:05:03 +0200 |
|---|---|---|
| committer | Matej Kosik | 2017-05-30 09:36:45 +0200 |
| commit | ce84f518a210237804779c8840b2783e1f5d8e56 (patch) | |
| tree | 46a631b5df0482a4f1dcfa31f6fa2e3ab9a764d4 /API/grammar_API.ml | |
| parent | 0336d4d19d446315cb922149b8ee4e7885843be0 (diff) | |
make the expansion of the "DECLARE PLUGIN" closer to the way how a human would write that code
Diffstat (limited to 'API/grammar_API.ml')
0 files changed, 0 insertions, 0 deletions