diff options
| author | Blaž Hrastnik | 2020-09-22 09:23:48 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2020-09-22 09:27:37 +0000 |
| commit | eb639eb2e4610ed2b440c8d95217f125005288fd (patch) | |
| tree | 3dd5d220287a4927f9dc79689d0e9dacb4021b73 /.gitignore | |
| parent | 2c3b10dbb0f270bc83169d28e4ed665557be70ca (diff) | |
More robust syntax detection/grammar loading.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions