diff options
author | 2007-12-31 15:52:47 +0000 | |
---|---|---|
committer | 2007-12-31 15:52:47 +0000 | |
commit | da0f849b5c4e1e8682a240d74461340cf8973294 (patch) | |
tree | 9deea15ae27d99f1570eda309e8a454b675eca60 /tools/coqdoc/pretty.mli | |
parent | a08fb51bfeed04cffc33ed7eb56a4ad661882ef9 (diff) |
fix vcs-svn fields to point just above debian/ dir (as suggested by devref)
Diffstat (limited to 'tools/coqdoc/pretty.mli')
0 files changed, 0 insertions, 0 deletions