03d6209e1c
First, this ensures that git annex addurl, when run repeatedly with the same url, doesn't create duplicate files, which it did before when it fell back to the longer filename. Secondly, the file part of an url is frequently not very descriptive on its own. The uri scheme, auth, and port is intentionally left out, as clutter. |
||
---|---|---|
.. | ||
changelog | ||
compat | ||
control | ||
copyright | ||
doc-base | ||
manpages | ||
NEWS | ||
rules |