diff options
| author | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2011-09-17 22:22:56 +0200 |
|---|---|---|
| committer | Peter Korsgaard <jacmet@sunsite.dk> | 2011-09-18 23:00:07 +0200 |
| commit | 4b78a5008995d459399a38692d436eceb7c2278d (patch) | |
| tree | 692ded35210a88c68eab728be1fba373ce61d699 /package/gmp/Config.in | |
| parent | 60d48220525f154ee43b2fbe3137a393ebacd4a4 (diff) | |
xenomai: add support to keep or remove skins
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
Diffstat (limited to 'package/gmp/Config.in')
0 files changed, 0 insertions, 0 deletions