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 9825f7e91e
commit 5692be2b70

Diff Content Not Available