diff options
author | paul <paul> | 2004-10-23 00:05:41 +0000 |
---|---|---|
committer | paul <paul> | 2004-10-23 00:05:41 +0000 |
commit | cfc1842b4c177c97cbd63428dfbf2298a97e53c3 (patch) | |
tree | 38d4e431e3a49737ea85f1f132a5dbba1ae96266 /doc/texinfo.tex | |
parent | 3e511c8e9dfdf3bb2b27d47e3d208dad48984e8b (diff) |
- update with andrew's modifications
- enable irdp by default again
Diffstat (limited to 'doc/texinfo.tex')
0 files changed, 0 insertions, 0 deletions