diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2016-01-28 19:33:21 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2016-01-28 19:33:21 +0000 |
| commit | 3349bcd277893eb33bd33feb7f1136faefff987a (patch) | |
| tree | 162887d289291dbf339abb28cf3a28d1b2b62dcc /src/ranked_match.hh | |
| parent | 5388a538efd9eee71a8c0258e7f874c387bdc32c (diff) | |
Rename 'ini-file' filetype to just 'ini'
Diffstat (limited to 'src/ranked_match.hh')
0 files changed, 0 insertions, 0 deletions