debian: Remove patch 51_wmaker_man.diff; applied upstream.
commitdede386b3da7f0445703aa57a89cff01f5a43985
authorDoug Torrance <dtorrance@piedmont.edu>
Fri, 10 Mar 2017 17:12:36 +0000 (10 12:12 -0500)
committerCarlos R. Mafra <crmafra@gmail.com>
Fri, 10 Mar 2017 17:25:32 +0000 (10 17:25 +0000)
tree57d547b6f29577a74813027847413d2034f2ae65
parentb2b2ebad4c61290446b17f0e8aabd4d79316febe
debian: Remove patch 51_wmaker_man.diff; applied upstream.
debian/patches/51_wmaker_man.diff [deleted file]
debian/patches/series