Pasi Kallinen 69e7f4e29b Allow defining symbols with OPTIONS ...

Some people are confused by the boulder -option, and
SYMBOLS=S_boulder, so allow defining symbols with
OPTION-lines in addition to the SYMBOLS.

So these are the same thing:

  SYMBOLS=S_boulder:0
  OPTIONS=S_boulder:0

2015-12-24 12:33:17 +02:00

98 KiB

Raw Blame History

View Raw