diff options
| author | mlasson | 2015-02-27 14:54:35 +0100 |
|---|---|---|
| committer | Pierre Boutillier | 2015-02-28 15:25:55 +0100 |
| commit | dedd99c3e8c455514a2cffa9e4015d395572ab34 (patch) | |
| tree | 0aed3e96ef84be87cde8bbde3e6e46d9ca109380 /kernel | |
| parent | 9ee62a197ea094911907341848d624ba33789f24 (diff) | |
Fixing the rule for ml4 depencies in coq_makefile
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions