3 Commits

Include renames

Author	SHA1	Message	Date
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