Do not set options which do not exist anymore.
authorChristoph Mallon <christoph.mallon@gmx.de>
Sat, 17 Nov 2007 08:51:46 +0000 (08:51 +0000)
committerChristoph Mallon <christoph.mallon@gmx.de>
Sat, 17 Nov 2007 08:51:46 +0000 (08:51 +0000)
commite0a47bc61e0395c8c45514a5e6776575a3ab0d75
tree3b6ada40360e0565f9853306da6a06ae06ba712f
parentc1bde668c4e8022590b1099b60d97caa16d3e760
Do not set options which do not exist anymore.

[r18434]
main.c