diff options
| author | Enrico Tassi | 2015-06-01 22:18:27 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2015-06-01 22:18:37 +0200 |
| commit | 467920d19aee31e523b147bb1fb4c491850db516 (patch) | |
| tree | 50dbeb2af4a40b56c004361f516b853bf16f959a /kernel/nativecode.ml | |
| parent | 3b917b7b9a201b511a56f55102077199868212e7 (diff) | |
script to build 64 coq installer for windows
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions