-
Committer:
Bazaar Package Importer
-
Author(s):
Samuel Mimram
-
Date:
2004-09-18 13:28:22 UTC
-
mfrom:
(1.1.1 upstream)
-
Revision ID:
james.westby@ubuntu.com-20040918132822-ees5mb8qmzd6a0fw
Tags: 8.0pl1.0-1
* Added the Coq faq, moved the tutorial to the root directory and added
doc-base files for both, closes: #272204.
* Set dh_compat to level 4.