diff options
author | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-09-05 20:30:17 +0000 |
---|---|---|
committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-09-05 20:30:17 +0000 |
commit | a353947b5c7645ccc6576bad0124ef6cca358001 (patch) | |
tree | 11fd8e0a439c104322434cc08c0f12213b36014f /Makefile | |
parent | dd0fa1a38613af80e3b261eb5e6be1b6f40a8bda (diff) |
Report 11364 de 8.2 vers trunk (bugs affichage Print Module)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11365 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions