Compare commits

..

No commits in common. "9aea844ccbc83ff273f7a48db87861aee2bd481a" and "902bf56a032ad85896005aad147b27d6e2df2a93" have entirely different histories.

2 changed files with 0 additions and 7 deletions

View File

@ -36,7 +36,6 @@
nodePackages.vscode-langservers-extracted nodePackages.vscode-langservers-extracted
nodePackages.typescript nodePackages.typescript
nodePackages.svelte-language-server nodePackages.svelte-language-server
swiProlog
]; ];
}; };
} }

View File

@ -168,12 +168,6 @@
user = "aur"; user = "aur";
identityFile = "~/.ssh/aur"; identityFile = "~/.ssh/aur";
}; };
"ucsb-workstation" = {
user = "giulio";
identityFile = "~/.ssh/ucsb";
forwardAgent = true;
};
}; };
extraConfig = '' extraConfig = ''