diff options
author | Martin Mares <mj@ucw.cz> | 2000-04-19 15:54:35 +0200 |
---|---|---|
committer | Martin Mares <mj@ucw.cz> | 2000-04-19 15:54:35 +0200 |
commit | 5f532adde20300ecab63d3e521fb0dfbfb33df2b (patch) | |
tree | d962dfad07984d1a1d0296fa66a94bc4ea7a7656 /doc/banner.tex | |
parent | f381cdce5225c0652bf9182ac40a1a54436c9692 (diff) | |
download | bird-5f532adde20300ecab63d3e521fb0dfbfb33df2b.tar bird-5f532adde20300ecab63d3e521fb0dfbfb33df2b.zip |
Temporarily ignore unknown options.
Diffstat (limited to 'doc/banner.tex')
0 files changed, 0 insertions, 0 deletions