Guanran Wang 7d8e9ad340 home,vscode: modify userSettings		2023-10-18 19:03:35 +08:00
..
dotfiles	repo: declutter	2023-10-15 08:51:56 +08:00
home.nix	home,vscode: modify userSettings	2023-10-18 19:03:35 +08:00