tree 234c700395db9e5cc68157090072b0a276df1495
parent e7078068941944ebaa92b2129447e277f824ded0
author Robert Griebl <griebl@gmx.de> 1027974518 -0000
committer Robert Griebl <griebl@gmx.de> 1027974518 -0000

Fixed a bug that I had introduced with the new "options" handling.