5 Commits

Include renames

Author	SHA1	Message	Date
Paul Brinkmeier	67127fd28d	Add schedule module move some ExceptTs around	2025-09-20 15:18:01 +02:00
Paul Brinkmeier	22867bc229	Improve scripts	2025-09-19 08:55:56 +02:00
Paul Brinkmeier	c7da029c7e	Add hoogle script	2025-08-20 18:53:13 +02:00
paul	e089251c2f	Move with-db.sh to scripts	2025-08-09 17:39:12 +02:00
paul	bb66615c7f	Add format script	2025-08-07 18:35:43 +02:00