diff options
| author |  Stephane Glondu <steph@glondu.net> | 2010-02-22 10:41:38 +0100 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2010-02-22 10:41:38 +0100 |
| commit | 9ffbef80b9b8674c94b0a4137bdb2de701f3b2d1 (patch) | |
| tree | 5fb31a00a7c78d4b65e4f5a72b1163b899228e4f /lib/profile.mli | |
| parent | beb7d5356e2d50189c89dac8fb336ee740186987 (diff) | |
Add Disable-micromega-tests.patch, prepare upload to unstabledebian/8.2.pl1+dfsg-6
Diffstat (limited to 'lib/profile.mli')
0 files changed, 0 insertions, 0 deletions