diff options
| author | Michael Davis | 2022-03-10 13:33:51 +0000 |
|---|---|---|
| committer | GitHub | 2022-03-10 13:33:51 +0000 |
| commit | 37fed4de8001e92a7ebe8450263bc4f56a59e014 (patch) | |
| tree | 0eec9e06a5d4f6e0c39dd6a6a8078ed7ffb91a43 /runtime/themes | |
| parent | 5eb9a0167f388f2e236a08c8f21b74dd77e9ecfc (diff) | |
fix '--grammar' flag in help text (#1784)
Diffstat (limited to 'runtime/themes')
0 files changed, 0 insertions, 0 deletions