diff options
| author | Guillem Jover <guillem@debian.org> | 2004-10-25 07:31:09 +0000 |
|---|---|---|
| committer | Guillem Jover <guillem@debian.org> | 2004-10-25 07:31:09 +0000 |
| commit | 99d952c1e3bbc3cec4b3db89c76c5e8fb2c38b19 (patch) | |
| tree | d5e691c6f5a57666eb0e016aef70e9c0084490cc /debian/gnumach-dev.docs | |
| parent | c79353dbc35ac8af8f331edabf04ffbd9fb2595f (diff) | |
Change the autoconf option to mention it is IDE specific.
Remove hunk for device-drivers.h.in.
Diffstat (limited to 'debian/gnumach-dev.docs')
0 files changed, 0 insertions, 0 deletions