dd90507 add agda-mode-init.el from ghc-Agda

Authored and Committed by petersen 10 years ago
1 file changed. 6 lines added. 0 lines removed.
    add agda-mode-init.el from ghc-Agda
    
        
file added
+6