diff options
author | 2016-12-28 18:20:19 +0100 | |
---|---|---|
committer | 2016-12-28 18:20:19 +0100 | |
commit | 4409e85b91fa86750f83042c329ec8cf6320d7c7 (patch) | |
tree | 0fb0a1860e85386999d1bd4bbd11189c535a799d /theories/Sets | |
parent | bfe45dbaed933cca5081a9e2524e0ef099a83efb (diff) |
fix FTBFS disabling some testsdebian/8.6-2
Diffstat (limited to 'theories/Sets')
0 files changed, 0 insertions, 0 deletions