diff options
| author | Mike Frysinger <vapier@gentoo.org> | 2005-08-18 00:56:58 +0000 |
|---|---|---|
| committer | Mike Frysinger <vapier@gentoo.org> | 2005-08-18 00:56:58 +0000 |
| commit | 1d1ea35f9193802fa228db0c7ca52acad30a6b2b (patch) | |
| tree | 6cefe4815747504f4af772c1299ddc3d88c41e5a /debian/docs | |
| parent | 2d54f7ff7bd9c6b60220e15efc0608e9059956e9 (diff) | |
also check for __thumb__
Diffstat (limited to 'debian/docs')
0 files changed, 0 insertions, 0 deletions