diff options
Diffstat (limited to '')
| -rw-r--r-- | home-manager/config/latexindent/default.nix (renamed from home-manager/latexindent/default.nix) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/home-manager/latexindent/default.nix b/home-manager/config/latexindent/default.nix
index 10bae481..10bae481 100644
--- a/home-manager/latexindent/default.nix
+++ b/home-manager/config/latexindent/default.nix
|