Marc Zinnschlag a5aebfb760 minor cleanup

2013-09-15 09:32:20 +02:00

..

doc

minor cleanup

2013-09-15 09:32:20 +02:00

filter

allow the use of keywords for strings without quotation marks

2013-09-05 15:47:38 +02:00

settings

Fixed setting synchronization issue

2013-07-17 20:19:01 -05:00

tools

removed Verifier class (using Operation class without subclassing now)

2013-09-14 15:16:31 +02:00

world

Merge branch 'filter'

2013-09-05 15:47:52 +02:00