mirror of https://github.com/pmret/papermario.git
Clean up map filenames (#1175)
Co-authored-by: Ethan <ethteck@gmail.com>
This commit is contained in:
parent
db9dbbec05
commit
c43d15e8cf
|
@ -70,4 +70,6 @@
|
||||||
"-l 120"
|
"-l 120"
|
||||||
],
|
],
|
||||||
"search.useIgnoreFiles": false,
|
"search.useIgnoreFiles": false,
|
||||||
|
"nixEnvSelector.nixFile": "${workspaceFolder}/shell.nix",
|
||||||
|
"workbench.editor.labelFormat": "short",
|
||||||
}
|
}
|
||||||
|
|
Some files were not shown because too many files have changed in this diff Show More
Loading…
Reference in New Issue