diff options
| author | Théo Zimmermann | 2018-10-02 18:12:16 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-10-02 18:12:16 +0200 |
| commit | d0e71c5b5b35211dc48bc32fe6f10aef01d0c89d (patch) | |
| tree | f3369523f8ad04edc9d65b00afd987bc9be31f1d /plugins/syntax | |
| parent | c1560b983278e111c65b76c53163f068a2074505 (diff) | |
| parent | a020ede9105662939254ba1296a256fad98c8a3d (diff) | |
Merge PR #8625: Fix issue #8611 - Change extensions of log files in WIndows build to …
Diffstat (limited to 'plugins/syntax')
0 files changed, 0 insertions, 0 deletions