7 commits

Author	SHA1	Message	Date
Sören Weber	007cc20686	build: make githooks reusable	2024-10-14 20:18:45 +02:00
Sören Weber	1bf4613d26	build: write commit hash into version.txt	2024-10-11 16:47:15 +02:00
Sören Weber	df39abcbc9	build: unify git hook output	2024-01-18 21:07:09 +01:00
Sören Weber	82767b6557	build: add time stamp for git hook logging	2024-01-18 21:01:41 +01:00
Sören Weber	67e1f2567b	theme: wildspace and typos	2024-01-05 16:35:04 +01:00
Sören Weber	3f4392fe15	build: pre-push refinement	2024-01-05 16:15:09 +01:00
Sören Weber	4a824dfdbe	build: avoid pushing wip branches	2024-01-05 15:47:37 +01:00