chore(glittershark): Remove everything Urbint related

bye urbint! Change-Id: I87ded275e6e5298e4e29c38775bae47a8fc07bac Reviewed-on: https://cl.tvl.fyi/c/depot/+/2149 Reviewed-by: glittershark <grfn@gws.fyi> Tested-by: BuildkiteCI
2020-11-25 20:44:31 -05:00 · 2020-11-25 20:44:31 -05:00 · 8eb7c6a515
commit 8eb7c6a515
parent 3cbef06629
9 changed files with 7 additions and 197 deletions
--- a/users/glittershark/system/home/modules/development.nix
+++ b/users/glittershark/system/home/modules/development.nix
@ -32,7 +32,6 @@ with lib;
  imports = [
    ./lib/zshFunctions.nix
    ./development/kube.nix
-    ./development/urbint.nix
    ./development/agda.nix
  ];