diff options
| author |  lmamane <lmamane@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-10-11 18:45:30 +0000 |
|---|---|---|
| committer | lmamane <lmamane@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-10-11 18:45:30 +0000 |
| commit | 3b9e93568a189227fc54204335fdf283c4d2b33a (patch) | |
| tree | d5722fa34ceaa422a35a0d8acdb54449b7beca3c /LICENSE | |
| parent | 0ff8e6a43c35c632292c6d9bf8c28ec6a3fc16e0 (diff) | |
Allow a few build system optimisations/corner-cutting
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10218 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions