026ad2 Show an information message in the docs tab if the git repo is empty

Authored and Committed by Pierre-Yves Chibon 10 years ago
    Show an information message in the docs tab if the git repo is empty
    
        
file modified
+69 -43