diff options
| author |  Matthieu Sozeau <mattam@mattam.org> | 2016-03-14 11:14:03 +0100 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@mattam.org> | 2016-03-14 11:40:52 +0100 |
| commit | 6caf8b877e44862b21104236423c23972166cdd7 (patch) | |
| tree | afec63b262daf9cdb9c9f91dec04959d95f8accd /grammar/q_util.mli | |
| parent | 1b984a697076aae9bbdb96efbecbbbec274cbf2a (diff) | |
Fix the comment of Refine.refine
Diffstat (limited to 'grammar/q_util.mli')
0 files changed, 0 insertions, 0 deletions