dxtool (0.1-5) unstable; urgency=medium * Update man page to use correct option-dash -- Wookey <email address hidden> Sun, 15 Oct 2023 17:30:40 +0100