Page MenuHomePhabricator

Patch GDCM to prevent building man pages
Closed, ResolvedPublic

Event Timeline

User kolbch has pushed new remote branch:

bug-19755-PatchGDCMPreventBuildingManPages

[3db89b]: Merge branch 'bug-19755-PatchGDCMPreventBuildingManPages'

Merged commits:

2016-05-18 12:17:59 Christoph Kolb [24c0a2]
add patch for GDCM to prevent building man pages