Rename config section for Debian external repository.
authorFrantišek Dvořák <valtri@civ.zcu.cz>
Tue, 23 Apr 2013 13:48:11 +0000 (15:48 +0200)
committerFrantišek Dvořák <valtri@civ.zcu.cz>
Tue, 23 Apr 2013 13:48:11 +0000 (15:48 +0200)
commit6e9d3d49bf7c88974644f020407644671315ab36
tree86f233bfd5a71524ce8249e86d82866a6d5be646
parent99765b4b12c71b9e5d5ee5c897de6f40b010aa52
Rename config section for Debian external repository.
mock.sh