diff -r 86e315be5b57 -r 95ecb62b93e6 short.conf
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/short.conf	Mon Apr 20 23:07:59 2015 +0200
@@ -0,0 +1,9 @@
+[blockdef-listing]
+#subs=verbatim,quotes
+
+
+[quotes]
+#$|=vars
+
+[tags]
+#vars=<code><em>$|</em></code>