Commit graph

1 commit

Author SHA1 Message Date
Gabriel Ebner
cc0b3bbcc2 minisat: support clang 2016-06-19 15:19:25 +02:00