ee3c0b1 Install the coq application icon in a standard location

Authored and Committed by Richard Hughes 9 years ago
1 file changed. 9 lines added. 3 lines removed.
    Install the coq application icon in a standard location
    
        
file modified
+9 -3