change micro config
This commit is contained in:
parent
dad9576cb7
commit
82fbb7d0a7
|
@ -5,8 +5,8 @@
|
||||||
|
|
||||||
settings = {
|
settings = {
|
||||||
"colorscheme" = "catppuccin-mocha";
|
"colorscheme" = "catppuccin-mocha";
|
||||||
"*.nix" = {"tabsize": 2};
|
"*.nix" = {"tabsize" = 2;};
|
||||||
"*.ml" = {"tabsize": 2};
|
"*.ml" = {"tabsize" = 2;};
|
||||||
"tabstospaces" = true;
|
"tabstospaces" = true;
|
||||||
"tabsize" = 4;
|
"tabsize" = 4;
|
||||||
};
|
};
|
||||||
|
|
Loading…
Reference in a new issue