diff options
| author | pboutill | 2011-09-01 09:50:55 +0000 |
|---|---|---|
| committer | pboutill | 2011-09-01 09:50:55 +0000 |
| commit | ffacb8e03d1ec6e19c4ad19381d9755a90df8cdb (patch) | |
| tree | 1c2b92d78de95fd0ffe87c95d2da49a36fba46a7 /plugins | |
| parent | aad9936c225ef5b4f463b4af9ce1fa267bab337b (diff) | |
Coq_makefile.absolute_dir -> Minilib.canonical_path_name
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14434 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions