diff options
author | 2003-01-19 22:00:56 +0000 | |
---|---|---|
committer | 2003-01-19 22:00:56 +0000 | |
commit | e70ae0ceeadafc703f01909aeb19273b28e6caef (patch) | |
tree | aeb8c443de8b40f072e0f3f9d907c284d73f91c1 /dev/db | |
parent | bee144512660fe96d5d9527eb1db091a647bc24e (diff) |
Ajout pptac
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3531 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/db')
-rw-r--r-- | dev/db | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -30,5 +30,6 @@ install_printer Top_printers.prevc install_printer Top_printers.prwc install_printer Top_printers.prclenv +install_printer Top_printers.pptac install_printer Top_printers.pr_obj |