fancsali bd44c023d3 Fix typos; add default priority; comments in generated files		2022-03-09 16:17:11 +01:00
..
parameter	Fix typos; add default priority; comments in generated files	2022-03-09 16:17:11 +01:00
man.rst	Refine docs even more	2021-07-05 15:28:05 +02:00
manifest	Fix typos; add default priority; comments in generated files	2022-03-09 16:17:11 +01:00
nonparallel	More sensible defaults; reword debian-only error message	2021-06-11 15:05:17 +01:00