diff options
| author |  Samuel Mimram <smimram@debian.org> | 2009-04-14 13:29:34 +0200 |
|---|---|---|
| committer | Samuel Mimram <smimram@debian.org> | 2009-04-14 13:29:34 +0200 |
| commit | b1104f93c07c08aef2cff437f30d5a29949bd2cb (patch) | |
| tree | 84b3b266b5dc4d6ce1ec28fda126fa329b63b1f7 /test-suite/coqdoc | |
| parent | 0cdc973f967b09282237536f1f98682b26bb1e8d (diff) | |
Remove upstream url from long descriptions since we already use the Homepage field.
Diffstat (limited to 'test-suite/coqdoc')
0 files changed, 0 insertions, 0 deletions