Fix: When a line is defined as option, it was not possible to remove "options" then.

This commit is contained in:
Laurent Destailleur 2011-08-08 01:53:25 +00:00
parent 6cef802a66
commit e765eb77e5

Diff Content Not Available