[debian/cpmtools] / debian / patches / series

diskdefs-directory.diff