12 Commits

Author	SHA1	Message	Date
flancian	0c308fadc2	Auto: misc.	2021-01-04 16:46:54 +01:00
flancian	008f4ad2f0	Auto: misc.	2020-11-28 21:19:22 +01:00
flancian	4432dfca0c	Auto: misc.	2020-11-28 20:46:01 +01:00
flancian	a41a356155	Auto: misc.	2020-11-28 20:36:21 +01:00
flancian	ba41fe6358	fribourg	2020-11-21 17:48:11 +01:00
flancian	0c10669157	Clean up stray list items, python markdown doesn't like them (it's looking flakier all the time).	2020-11-16 15:48:06 +01:00
flancian	74efee408b	Do the Great Rename again... fingers crossed janitor will play along.	2020-10-14 11:53:48 +02:00
flancian	c5d3904a84	Remove duplicate files while somehow making Foam Janitor happy.	2020-10-14 11:36:20 +02:00
flancian	157c12fa78	Foam janitor run.	2020-10-14 11:16:35 +02:00
flancian	aadf2fccc4	Undo the great rename; I can probably depend on Foam janitor to make this work instead	2020-10-14 11:15:43 +02:00
flancian	c97c3e339e	Foam janitor run.	2020-10-14 10:54:02 +02:00
flancian	d6553102d6	The Great Rename.	2020-10-14 10:32:38 +02:00