7f78a9 Turn off the project's documentation by default

Authored and Committed by Pierre-Yves Chibon 9 years ago
    Turn off the project's documentation by default
    
    This will impact new projects but not the existing ones and will prevent
    a `Doc` tab leading to nothing if there is no doc.
    
        
file modified
+1 -1