zieglerflorian/minisat — pull request #1 by zieglerflorian (2014-06-04 08:55:49+00:00)
Title: Switched to relative paths.

Hallo Markus,

ich habe die include direktiven in master so angepasst, dass sie relative Pfade benutzen.

Bei mir kompiliert es noch (bis auf die Linking-Fehler)

Viele Grüße,
Florian