Move home-manager related files into home directory

This commit is contained in:
2022-08-19 01:54:13 +02:00
parent 56a100f0c6
commit 8f68ada082
50 changed files with 8 additions and 11 deletions

View File

@@ -0,0 +1,9 @@
# -*- mode: snippet -*-
# name: \begin{truthtable}
# key: tt
# --
\begin{truthtable}
{$0}
{}
\end{truthtable}