fix up diskdefs target directory
[debian/cpmtools] / debian / patches / series
1 diskdefs-directory.diff