diff options
| author | Pierre Boutillier | 2014-07-07 09:35:22 +0200 |
|---|---|---|
| committer | Pierre Boutillier | 2014-07-07 09:36:10 +0200 |
| commit | 20870c950ba3620755697010ffc49adb71cb4118 (patch) | |
| tree | 3d31400eb3e3ca5e849c58743c42c128a9995bce /kernel | |
| parent | f7e7dcb3513329d82b21f224bb5c5acec445752e (diff) | |
Coq_makefile: fix cmx compilation when there are both ml and mllib
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions