Ronny Pfannschmidt 2707221559 port mark evaluation to the new storage and fix a bug in evaluation		2018-03-29 17:52:01 +02:00
..
__init__.py	Merge remote-tracking branch 'upstream/master' into merge-master-into-features	2018-03-16 18:15:28 -03:00
evaluate.py	port mark evaluation to the new storage and fix a bug in evaluation	2018-03-29 17:52:01 +02:00
legacy.py	remove complexity from match_keywords	2018-02-22 14:30:32 +01:00
structures.py	introduce a own storage for markers	2018-03-29 17:52:01 +02:00