Closes #372: removed trailing spaces in snippets

This commit is contained in:
Joao Tavora
2013-05-05 21:15:27 -04:00
parent 9df05fc413
commit 8bf75fe425
33 changed files with 40 additions and 40 deletions

View File

@@ -4,6 +4,6 @@
# --
${1:option} match {
case None => $0
case Some(res) =>
case Some(res) =>
}