diff options
author | 2006-09-05 19:05:38 +0000 | |
---|---|---|
committer | 2006-09-05 19:05:38 +0000 | |
commit | 83d3d6ddff7b813e7a32737f81be21ba8cb33f5f (patch) | |
tree | 89c7d9a1c8b37d7b01480e259e9201425dec5c0f /tools/coqwc.mll | |
parent | 514dce2dfe717e3ed2e37dce6467b56219d451c1 (diff) |
added to debian/control the XS-X-Vcs-Svn field pointing to the package's SVN URL
Diffstat (limited to 'tools/coqwc.mll')
0 files changed, 0 insertions, 0 deletions