2 Commits (3a1375dacf534e58e7e2e8ee3f84e9fb8d0f4ea4)

Author	SHA1	Message	Date
Philipp Hagemeister	345b0c9b46	Remove dead code	2013-07-08 02:13:50 +02:00
Philipp Hagemeister	73e79f2a1b	[3sat] Add support (Fixes #1001)	2013-07-08 01:13:55 +02:00