[
<
]
[
>
]
[
<<
]
[
Up
]
[
>>
]
[
Top
]
[
Contents
]
[Index]
[
?
]
58. tip9
Do you know that: You can use Ctrl+Shift+V to paste from previous clipboard contents.
[
<<
]
[
>>
]
[
Top
]
[
Contents
]
[Index]
[
?
]
This document was generated on
March, 18 2002
using
texi2html