debian specific patch information for minisat+ / 1.0-2

 Main.C     |    4 ++--
 PbParser.C |    2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

page code/design/content is copyright (c) 2008 sean finney <seanius@debian.org>.
patches viewed/retrieved through this system are copyrighted by their respective authors.
browse git repo - clone git repo