a4a73fe Workaround a problem with documentation not being build due to the tycho

Authored and Committed by Krzysztof Daniel 11 years ago
1 file changed. 15 lines added. 0 lines removed.
    Workaround a problem with documentation not being build due to the tycho
    issue.
        
file modified
+15 -0