summarylogtreecommitdiffstats
path: root/emacs-idris-mode-git.install
blob: cafff2e863d3468f334a44857c789db6a3206af0 (plain)
1
2
3
4
5
6
7
post_install() {
    cat <<EOF
==> Put this in your ~/.emacs file to use idris-mode:

(require 'idris-mode)
EOF
}