Changes
1 changed files (+1/-0)
-
-
@@ -108,6 +108,7 @@sqlite # Compared to texliveBasic, this includes some useful packages like setspace and subfigure texliveSmall tlrc ]; variables = { # Lean toolchains are huge so put them outside of ~ so they don't end up in backups or snapshots
-