2 commits

Author	SHA1	Message	Date
rhiannon morris	256706b285	pick the kateversion from a file in the repo	2022-03-15 04:44:09 +01:00
rhiannon morris	e5d888ae01	add maude syntax	2022-03-15 04:40:25 +01:00