diff options
| author | Martin Mares <mj@ucw.cz> | 2000-05-29 22:16:04 +0000 |
|---|---|---|
| committer | Martin Mares <mj@ucw.cz> | 2000-05-29 22:16:04 +0000 |
| commit | 9e85a5e6f26866a255577ff10786c12a64cba624 (patch) | |
| tree | 52b2b5510a5fa03501e91af7117934d172da7acb /doc/banner.tex | |
| parent | 4761efdb43aa128fa0326963d88debe8fb942c84 (diff) | |
Delay user input whereever appropriate.
Diffstat (limited to 'doc/banner.tex')
0 files changed, 0 insertions, 0 deletions