1
0
mirror of https://github.com/kmein/niveum synced 2026-03-18 19:11:08 +01:00
This commit is contained in:
Kierán Meinhardt
2018-12-30 20:47:09 +01:00
parent d4af2f2eee
commit ce5b0abdef
3 changed files with 2 additions and 3 deletions

View File

@@ -29,7 +29,7 @@ in {
ignore = mkOption {
type = types.listOf types.string;
default = [ "*~" ".stack-work/" "__pycache__/" ".mypy_cache/" "*.py[co]" "*.o" "*.hi" "*.aux" "*.class" "*.dyn_hi" "*.dyn_o" "dist/" ];
default = [ "*~" ".stack-work/" "__pycache__/" ".mypy_cache/" "*.py[co]" "*.o" "*.hi" "*.aux" "*.bbl" "*.bcf" "*.blg" "*.fdb_latexmk" "*.fls" "*.out" "*.run.xml" "*.toc" "*.bbl" "*.class" "*.dyn_hi" "*.dyn_o" "dist/" ];
};
theme = mapAttrs (const themeOption) {