diff options
| author | jvoisin | 2018-08-23 21:28:37 +0200 |
|---|---|---|
| committer | jvoisin | 2018-08-23 21:28:37 +0200 |
| commit | 1c72448e58fa5ad50055accce704185a87f9bba5 (patch) | |
| tree | 1694458157a554d242aad3dd2739d3b8daf68a95 /INSTALL.md | |
| parent | f0686216289af394b44482c990012e9056ab0604 (diff) | |
Improve the detection of unsupported extensions in uppercase
Diffstat (limited to 'INSTALL.md')
0 files changed, 0 insertions, 0 deletions
