diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2015-12-12 21:05:52 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2015-12-12 21:18:33 +0100 |
| commit | fb00cee33bd29969805572238815c0fb3d29ee45 (patch) | |
| tree | 8b85a82b5e16f0fc8c87ade42fe63f0dcb21ac83 /doc/tools | |
| parent | 29f30b7deb8d3b01d90d47194e4cf0c15cec7dd5 (diff) | |
Drop MSVC 12.0-specific build batch script
Diffstat (limited to 'doc/tools')
0 files changed, 0 insertions, 0 deletions