1

Add doom config to repo

This commit is contained in:
2022-07-01 16:28:22 +02:00
parent 0fa8ff3bba
commit aa6a7fad3b
27 changed files with 1347 additions and 0 deletions

View File

@ -0,0 +1,7 @@
# -*- mode: snippet -*-
# name: definition
# key: definition
# --
\begin{definition}{$1}
$0
\end{definition}