4 Commits

Author	SHA1	Message	Date
Michael Murtaugh	c2bf2d9117	renaming, cleanup	2019-06-13 11:43:42 +02:00
Michael Murtaugh	dc57068ad3	local editing, simplified index that works locally as well	2019-06-13 11:35:02 +02:00
Michael Murtaugh	21370661f7	symbols!	2019-06-10 18:53:29 +02:00
Michael Murtaugh	b027ca341a	plum erg	2019-05-27 16:05:50 +02:00