diff options
| author |  Samuel Mimram <samuel.mimram@ens-lyon.org> | 2004-07-18 22:32:05 +0000 |
|---|---|---|
| committer | Samuel Mimram <samuel.mimram@ens-lyon.org> | 2004-07-18 22:32:05 +0000 |
| commit | 39a05ea8ddf4411a5abd7ef804bd5d40ee8f3bda (patch) | |
| tree | 40bcde75f180ef968e8794a19f3d25982c63c942 /debian/control | |
| parent | 1aa163f8f8c548e69b94188497b72a5c1242edb1 (diff) | |
We only need to call check since world depends on it.
Diffstat (limited to 'debian/control')
0 files changed, 0 insertions, 0 deletions