avoid same name with different case, fixes #272

This commit is contained in:
Andrea Crotti 2018-04-22 14:49:07 +01:00
parent 152a091c6f
commit ed2be07237
No known key found for this signature in database
GPG Key ID: 88DC3F2180C34EDB
2 changed files with 3 additions and 10 deletions

View File

@ -1,5 +0,0 @@
# -*- mode: snippet -*-
# name: HTML
# key: <HT
# --
#+HTML:$1

View File

@ -1,7 +1,5 @@
# -*- mode: snippet -*-
# name: html
# key: <ht
# name: HTML
# key: <HT
# --
#+BEGIN_HTML
$0
#+END_HTML
#+HTML:$1