UdoPi/minisat — pull request #1 by zieglerflorian (2014-06-05 15:06:48+00:00)
Title: Switched to relative paths.

Hallo Markus,

das ganze nochmal, diesmal mit Erfolg?

Viele Grüße