2 commits

Author	SHA1	Message	Date
Michael Mayer	b835c22f7f	Rename synonyms to categories	2019-06-05 14:05:21 +02:00
Michael Mayer	df995b4f15	Rename tags to labels incl priority, source and uncertainty	2019-06-04 18:26:41 +02:00