diff options
| author | Florian Dold <florian@dold.me> | 2022-11-04 14:43:12 +0100 |
|---|---|---|
| committer | Florian Dold <florian@dold.me> | 2022-11-04 14:43:12 +0100 |
| commit | bcaccec009def3c72adc8538fd379121e672924c (patch) | |
| tree | 510120f297f5d414a285101494467ea7dbc96469 /src/.gitignore | |
| parent | 81ee8f01d89bab616fd86741fc5886d32f58c41c (diff) | |
lower-case extension names before loading the plugin
Diffstat (limited to 'src/.gitignore')
0 files changed, 0 insertions, 0 deletions