change micro config

2024-04-06 14:03:38 +02:00 · 2024-04-06 14:03:38 +02:00 · 0385761811
parent 736048f9e5
commit 0385761811
1 changed files with 1 additions and 1 deletions
--- a/modules/home/micro.nix
+++ b/modules/home/micro.nix
@ -7,7 +7,7 @@
      "colorscheme" = "catppuccin-mocha";
      "*.nix" = {"tabsize" = 2;};
      "*.ml"  = {"tabsize" = 2;};
-      # "tabstospaces" = true;
+      "tabstospaces" = true;
      "tabsize" = 4;
    };
  };