diff options
| author | Enrico Tassi | 2015-01-14 19:08:55 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2015-01-15 06:58:06 +0100 |
| commit | 79d10e9527ceff4f07c581b0ac971e761351ad24 (patch) | |
| tree | 946feaefbad74aba35f7faa9130e9a1012b3997e /kernel/nativelib.ml | |
| parent | 0ee33883c790d00f5d94953fd1a95ed4fca2d5ed (diff) | |
coq_makefile: chmod 755 on toplopp cmxs
Diffstat (limited to 'kernel/nativelib.ml')
0 files changed, 0 insertions, 0 deletions