diff options
author | 2010-02-22 10:41:38 +0100 | |
---|---|---|
committer | 2010-02-22 10:41:38 +0100 | |
commit | 9ffbef80b9b8674c94b0a4137bdb2de701f3b2d1 (patch) | |
tree | 5fb31a00a7c78d4b65e4f5a72b1163b899228e4f /theories/Init | |
parent | beb7d5356e2d50189c89dac8fb336ee740186987 (diff) |
Add Disable-micromega-tests.patch, prepare upload to unstabledebian/8.2.pl1+dfsg-6
Diffstat (limited to 'theories/Init')
0 files changed, 0 insertions, 0 deletions