remove dead code
authorMichael Andres <ma@suse.de>
Fri, 9 May 2014 10:48:52 +0000 (12:48 +0200)
committerMichael Andres <ma@suse.de>
Fri, 9 May 2014 10:48:52 +0000 (12:48 +0200)
commit1888f65d80336d52ba2c32fe10e7e850df48e286
tree96a9b54bed6136f56ba59717c6474cdc6ab04ab3
parent6657d5475dbe4df8cc56b7bd1ae9b7c85d202887
remove dead code
src/SolverRequester.cc