commit | 5ba5f8ffad90e03da07bce45e2cac84f32b5f3cf | [log] [tgz] |
---|---|---|
author | Pascal Rapicault <pascal@rapicault.net> | Tue May 07 09:56:54 2013 -0400 |
committer | Pascal Rapicault <pascal@rapicault.net> | Tue May 07 09:56:54 2013 -0400 |
tree | a7a7b2629a8a589f2d62612e33d525136e32e6f4 | |
parent | 1fe738c39bb4cbcf5895cbfadd87533fb5628d98 [diff] |
move to new sat4j but because of new stupid build process I have to touch random files