diff options
author | 2007-03-24 12:01:30 +0000 | |
---|---|---|
committer | 2007-03-24 12:01:30 +0000 | |
commit | 0231469f6f9c6e59ae1574c72e446ed272490566 (patch) | |
tree | a008c8bbcc5b3b52a4e94ce5c2d2cb2f021e74b4 /debian/coq-libs.dirs | |
parent | 04d097b8f27b9fa916f583b0152e34466d8602a3 (diff) |
Coq 8.1 becomes trunk.
Diffstat (limited to 'debian/coq-libs.dirs')
-rw-r--r-- | debian/coq-libs.dirs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/debian/coq-libs.dirs b/debian/coq-libs.dirs deleted file mode 100644 index aadcf27a..00000000 --- a/debian/coq-libs.dirs +++ /dev/null @@ -1,2 +0,0 @@ -usr/share/doc/coq-libs -usr/share/doc/coq |