diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2016-12-07 15:22:34 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2016-12-07 15:22:34 +0100 |
| commit | fddf3ca8f2499c14018c13417346c567971c0a23 (patch) | |
| tree | dbb3208cfb4d87e2965fc4fdde27623a6b016c04 /configure.ml | |
| parent | b802f1789b59a93bb84783125f61794c00d6c940 (diff) | |
Add bat files for 8.6rc1 build.
Diffstat (limited to 'configure.ml')
0 files changed, 0 insertions, 0 deletions