diff options
author | Michael Davis | 2022-04-06 15:32:00 +0000 |
---|---|---|
committer | GitHub | 2022-04-06 15:32:00 +0000 |
commit | b03421a8c0811b48da0f30f4d4fce41a1f98a547 (patch) | |
tree | c6acf49af945a930a7995ad02344f378785aa90a /VERSION | |
parent | 275c05008fb5bc2f15044738a329939bc6b5befc (diff) |
remove hardcoded '/' from grammar source path (#1986)
Diffstat (limited to 'VERSION')
0 files changed, 0 insertions, 0 deletions