summaryrefslogtreecommitdiff
path: root/interp
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2010-02-22 10:41:38 +0100
committerGravatar Stephane Glondu <steph@glondu.net>2010-02-22 10:41:38 +0100
commit9ffbef80b9b8674c94b0a4137bdb2de701f3b2d1 (patch)
tree5fb31a00a7c78d4b65e4f5a72b1163b899228e4f /interp
parentbeb7d5356e2d50189c89dac8fb336ee740186987 (diff)
Add Disable-micromega-tests.patch, prepare upload to unstabledebian/8.2.pl1+dfsg-6
Diffstat (limited to 'interp')
0 files changed, 0 insertions, 0 deletions