Merge branch 'master' into HEAD

Joel Grunbaum

2020-10-18 0053450271e6282473be02d80653f3780c3df76d

1
2
3
4
5
6
7
# -*- mode: snippet -*- 
# name: Source code expand 
# key: <s 
# group: code snippets 
# -- 
#+BEGIN_SRC $0 
#+END_SRC