Merge pull request #30 from gabi2/repos
authorMichael Andres <ma@suse.de>
Tue, 19 Mar 2013 12:52:23 +0000 (05:52 -0700)
committerMichael Andres <ma@suse.de>
Tue, 19 Mar 2013 12:52:23 +0000 (05:52 -0700)
commitb9daab48ed4885e4a4d8ec4a5706a6891474fc9a
treec8e4a731394cff1fee704368f130d2c469b130e5
parent24e2b77c56cf50c7ba51cab657d636946b659b5c
parentd221ed5a43e5f934ece376a509ee90d64c5fad57
Merge pull request #30 from gabi2/repos

Abort completely on 'Abort', disable repo permanently if required by use...