diff options
author | Ondrej Filip <feela@network.cz> | 2000-06-06 01:00:34 +0000 |
---|---|---|
committer | Ondrej Filip <feela@network.cz> | 2000-06-06 01:00:34 +0000 |
commit | fef1badfcfb0519cca10f3561e5cb79ef9f9e969 (patch) | |
tree | 0638140f861b146c2654b625b5a8a038a35bd390 /doc/old/banner.tex | |
parent | 80787d418bd028f59e34ffb08c1c221992fe3b41 (diff) |
All die() renamed to bug().
Diffstat (limited to 'doc/old/banner.tex')
0 files changed, 0 insertions, 0 deletions