diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-05-07 16:49:53 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-05-07 16:49:53 +0200 |
| commit | 6c8b00e47334f60f200256d45a5542fa80ce4b12 (patch) | |
| tree | 1fc510b22c1018e714e38720dc99317fc952c105 /configure.ml | |
| parent | d3f8467c63ae94c28c3939408c4c56446760dd65 (diff) | |
| parent | 7036bac7455c5bf6b9cea17dd002431fadd0eba6 (diff) | |
Merge PR #7347: Fix for #7081 (Windows lablgtk) and #7083 (Windows logging)
Diffstat (limited to 'configure.ml')
0 files changed, 0 insertions, 0 deletions