Update packages

This commit is contained in:
2016-10-22 16:25:44 +02:00
parent 42b437055b
commit 0d078ffb05
1156 changed files with 238 additions and 219 deletions

View File

@@ -0,0 +1,8 @@
# -*- mode: snippet -*-
# contributor: Jonas Kalderstam <jonas@kalderstam.se>
# name: forall ... end forall ...
# key: forall
# --
forall ($1)
$0
end forall