Johannes Pfeifer 0e468103d9 manual: correct syntax of prior CLI ... Comma separated lists do not work		2023-10-11 09:26:05 -04:00
..
source	manual: correct syntax of prior CLI	2023-10-11 09:26:05 -04:00
utils	Build system / Manual: use variables for specifying the version number	2023-09-18 10:41:14 +02:00