diff options
| author | Pavel Machek <pavel@ucw.cz> | 1999-09-29 14:23:11 +0000 |
|---|---|---|
| committer | Pavel Machek <pavel@ucw.cz> | 1999-09-29 14:23:11 +0000 |
| commit | 4caa2231fc75ed351b9a9f20a97a81ce5d4421d0 (patch) | |
| tree | 793ca902fa9a9af01509f5c1395835ad41aef021 /doc/banner.tex | |
| parent | 2c1d1cc765238aef0e8bfdbc1d8bc954fa0fc222 (diff) | |
Make configuration use new case statement.
Diffstat (limited to 'doc/banner.tex')
0 files changed, 0 insertions, 0 deletions