12 Commits

Author	SHA1	Message	Date
flancian	40cd85d095	Auto: misc.	2021-01-01 13:53:17 +01:00
flancian	5058cb12aa	Auto: misc.	2020-12-19 16:24:45 +01:00
flancian	dc729710ed	Auto: misc.	2020-12-18 13:54:42 +01:00
flancian	079efb0f0d	Auto: misc.	2020-12-18 13:20:39 +01:00
flancian	a11e148007	Auto: misc.	2020-12-18 12:32:41 +01:00
flancian	86901c142e	Pattern language.	2020-11-11 16:22:29 +01:00
flancian	64f159805f	2020-11-11	2020-11-11 16:21:24 +01:00
flancian	bb1b5f3b6f	Janitor seems happy now /shrug	2020-10-14 12:14:08 +02:00
flancian	74efee408b	Do the Great Rename again... fingers crossed janitor will play along.	2020-10-14 11:53:48 +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