index
:
gf-core.git
master
optimize
Unnamed repository; edit this file 'description' to name the repository.
Adrian
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
tools
/
gf.el
blob: 594e0845e97c053f80f791e1f6fd4950cf8a5b8a (
plain
)
1
(error "install updated GF mode from https://github.com/GrammaticalFramework/gf-emacs-mode")