2026-05-29T10:17:10

2026-05-29 10:16:49 +02:00
parent eeade43df7
commit 65e5eb7b14
8 changed files with 74 additions and 7 deletions
@@ -0,0 +1,5 @@
+# -*- mode: snippet -*-
+# name: texttt
+# key: ttt
+# --
+\texttt{$1}$2