e96729 Update repository-menu.texi.

Authored and Committed by areguera 13 years ago
    Update repository-menu.texi.
    
        
file modified
+1 -0