8 Commits

Include renames

Author	SHA1	Message	Date
jrenslin	e208308c8d	Add marking type "glued"	2021-07-12 15:34:59 +02:00
jrenslin	dd426509b6	Remove trailing newlines before the end of class definitions	2020-11-22 15:44:15 +01:00
jrenslinandstefan	44f0d38601	Make value sets final	2020-08-29 17:21:18 +02:00
jrenslinandstefan	64bb16616c	Declare strict types in all src scripts	2020-08-07 00:12:49 +02:00
jrenslinandstefan	5bad375004	Fix parent-child compatibility with class function names	2020-08-06 18:42:38 +02:00
jrenslinandstefan	87e4cea8b1	Centralize getSortedList in parent class	2020-08-06 18:27:25 +02:00
jrenslinandstefan	9ca91967e4	Add "handwritten" to list of marking types	2020-08-06 15:22:23 +02:00
jrenslinandstefan	d78abca4c2	Add controlled list of marking types	2020-08-06 14:57:46 +02:00