fancsali 5c96063725 Fix typos; add default priority; comments in generated files		2022-02-19 14:18:43 +00:00
..
parameter	Fix typos; add default priority; comments in generated files	2022-02-19 14:18:43 +00: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-02-19 14:18:43 +00:00
nonparallel	More sensible defaults; reword debian-only error message	2021-06-11 15:05:17 +01:00