]> git.gag.com Git - debian/cpmtools/tree - debian/patches/
disable man page patch for now
[debian/cpmtools] / debian / patches /
drwxr-xr-x   ..
-rw-r--r-- 4336 man-page-typos.diff
-rw-r--r-- 0 series