Add an option to change the display name of the repository
authorAlberto Bertogli <albertito@gmail.com>
local dateThu, 27 Mar 2008 01:02:58
dateThu, 27 Mar 2008 01:02:58
hash20080327010258-57897-11f4e0acf34a201896daf8d19217833fbb68b616
Add an option to change the display name of the repository


It can be used to avoid clashes in multidir entries.

Thanks to Dan Muller for the idea and alternative implementation.
2 file(s) changed:
config.py.sample +7 -1
darcsweb.cgi +18 -8