diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-07-03 22:16:42 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-07-03 22:16:42 (GMT) |
| commit | 5b1af13ea675d2de53435ecc86cefd45eca64fea (patch) | |
| tree | 6c9e48b6b55c50ac9e5d2c5da9a9cd089d6c2ae2 /LICENSES | |
| parent | 439940ab2e27f917b84668f9b65af880ae5e41fd (diff) | |
Make checking the linux installed headers optional (instead of systematic).
Diffstat (limited to 'LICENSES')
0 files changed, 0 insertions, 0 deletions