diff options
| author | pboutill | 2011-10-26 09:09:18 +0000 |
|---|---|---|
| committer | pboutill | 2011-10-26 09:09:18 +0000 |
| commit | badc8b1ccf50f00e33563901e363bcbeff9e2c19 (patch) | |
| tree | b424ffb7bfe9d8781dd920ad9d5d0c179e7d6b31 /kernel/mod_subst.ml | |
| parent | 34e5e5176a2ffbb6825043c279a504d83aac12dc (diff) | |
Coq_makefile: libraries in bytecode are now installed too
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14608 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/mod_subst.ml')
0 files changed, 0 insertions, 0 deletions