Changes between Initial Version and Version 1 of Ticket #1484, comment 3


Ignore:
Timestamp:
07/25/18 14:59:27 (6 years ago)
Author:
felix winkelmann
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #1484, comment 3

    initial v1  
    1 I would suggest to make the cumulative - local options get added to toplevel options.
     1I would suggest to make it cumulative - local options get added to toplevel options.