git-permalink - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Expand)	Author	Age	Files	Lines
*	Replace left-over usage of git.euandreh.xyz	EuAndreh	2022-01-16	1	-1/+0
*	TODOs.md: Rename ids to #td-... over #(task\|bug\|...)-...•••The goal is to make a TODO entry be able to move category, say from a question to a decision, without chaging its id.	EuAndreh	2021-10-03	2	-2/+2
*	git mv doc/spelling/ po/	EuAndreh	2021-07-08	5	-0/+149