diff options
| author | Maxime Dénès | 2017-07-21 08:36:27 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-09-05 17:12:00 +0200 |
| commit | ccf33e7aed7f6c8cdfa6ec6ebb6b5f094ed6989f (patch) | |
| tree | 551337948da42b5de35a2cf3c4da5845ab503aff /dev/include | |
| parent | 8ac880bee5611a0a408158ff021277c6157eccce (diff) | |
Adapt Windows build script to new CoqIDE data installation directory.
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions