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 3a5b44f177
commit 0bcf92d5c6

Diff Content Not Available