diff options
| author | Maxime Dénès | 2016-04-07 13:52:03 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2016-04-07 13:52:03 +0200 |
| commit | f9ef1441083a988a938e163393dfbab04ab9da18 (patch) | |
| tree | 749dbdbcd05f4ce295c532c8d071f65571195745 /pretyping/typeclasses_errors.ml | |
| parent | a585d46fbacfcc9cddf3da439e5f7001d429ba2a (diff) | |
Use -win32 and -win64 suffixes for installer name on Windows.
Diffstat (limited to 'pretyping/typeclasses_errors.ml')
0 files changed, 0 insertions, 0 deletions