Klimi's new dotfiles with stow.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 

7 lines
101 B

# -*- mode: snippet -*-
# key: Req
# group: misc
# name: Require
# --
${1:$$(coq-insert-requires)}
$0