diff options
author | Kirawi | 2022-01-12 04:11:00 +0000 |
---|---|---|
committer | GitHub | 2022-01-12 04:11:00 +0000 |
commit | 8d273a561387ceb0bcc9c9f8c9fa90a64204118f (patch) | |
tree | 25f896c839966f32350a6e7dd1ca716662d7613f /runtime/grammars/.gitkeep | |
parent | ddbf03613d5a3dd64f3f5ba13795e70c29297837 (diff) |
remove outdated note (#1485)
Diffstat (limited to 'runtime/grammars/.gitkeep')
0 files changed, 0 insertions, 0 deletions