diff options
| author | filliatr | 2002-09-12 07:27:35 +0000 |
|---|---|---|
| committer | filliatr | 2002-09-12 07:27:35 +0000 |
| commit | 994931aa3290ad9d6e1ba12bc81198ba1c220550 (patch) | |
| tree | eb4f3cf839665661d1d077514e0bcee44865a99e /dev/Makefile.subdir | |
| parent | caa7751f2fcd80d1ddb4bb0dba5a578255b00bee (diff) | |
Subst
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8291 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/Makefile.subdir')
0 files changed, 0 insertions, 0 deletions