Changed repo_name.
commitf873b06d83393b9cb23db02fb4ce01bb4e09e104
authorDavide Pesavento <davidepesa@gmail.com>
Fri, 3 Dec 2010 14:04:38 +0000 (3 15:04 +0100)
committerDavide Pesavento <davidepesa@gmail.com>
Fri, 3 Dec 2010 14:04:38 +0000 (3 15:04 +0100)
tree3b76af32afc3c5771d07cefcae65561fa07df325
parentcc5a99b300ee3311bc5b1d1da3e3d2a6d03ba751
Changed repo_name.
profiles/repo_name