diff options
| author | Chris | 2024-02-28 12:18:00 +0000 |
|---|---|---|
| committer | GitHub | 2024-02-28 12:18:00 +0000 |
| commit | 083a9e775d31678f4d984c526e7140c0d2bb2312 (patch) | |
| tree | 135581685952f28ccf326977965971ef1fbd716b /runtime/themes/monokai_aqua.toml | |
| parent | 00653c772e7df6f68071d1cb1c92bfe9ca4876f9 (diff) | |
Add support for pde files (#9741)
Diffstat (limited to 'runtime/themes/monokai_aqua.toml')
0 files changed, 0 insertions, 0 deletions