Julian Berman af8a8035e8 Add a Lean highlighting test file.

2021-01-02 09:45:19 +01:00

..

benchmarks

…

examples

…

scripts

…

snapshots

…

syntax-tests

Add a Lean highlighting test file.

2021-01-02 09:45:19 +01:00

.gitattributes

…

assets.rs

Use Briles/gruvbox .tmTheme files instead of peaceant's port

2020-12-21 21:52:04 +01:00

integration_tests.rs

Add test 'grid_for_file_without_newline' (for issue #299 fix)

2020-12-21 21:45:34 +01:00

no_duplicate_extensions.rs

…

snapshot_tests.rs

…

tester.rs

…