diff options
author | 2013-08-16 19:59:16 +0200 | |
---|---|---|
committer | 2013-08-16 19:59:16 +0200 | |
commit | ca8e4c08a786f31f2ca2d353f54df3653fdd7a1a (patch) | |
tree | ca5d53b824cfdbcaf3e1059e29084fd4828dc236 /sanity.cpp | |
parent | 6ec4591f02953963b5f4ad537184c66baf903f51 (diff) |
Fix compilation under CentOS
I hope I didn't broke anything, but it works for me.
Diffstat (limited to 'sanity.cpp')
0 files changed, 0 insertions, 0 deletions