6 commits

Author	SHA1	Message	Date
yuni	9f15e78e07	show actual names of stars when targeting them	2024-04-08 01:08:32 +02:00
yuni	ba4c03b7fb	add build script to pack.sh	2024-04-02 17:39:57 +02:00
yuni	1eaa2d7fb9	pack.sh: extract version from Cargo.toml	2024-03-31 20:06:51 +02:00
yuni	eaeb5d862e	document doc/scripts/pack.sh	2024-03-31 19:58:22 +02:00
yuni	d10817bcb9	cleanup	2024-03-31 19:49:59 +02:00
yuni	a535c95241	move tools/ to doc/scripts/	2024-03-22 16:22:18 +01:00