From 8eb7c6a5156787c8d8cdc6e03269faa2be60c7b3 Mon Sep 17 00:00:00 2001 From: Griffin Smith Date: Wed, 25 Nov 2020 20:44:31 -0500 Subject: chore(glittershark): Remove everything Urbint related bye urbint! Change-Id: I87ded275e6e5298e4e29c38775bae47a8fc07bac Reviewed-on: https://cl.tvl.fyi/c/depot/+/2149 Reviewed-by: glittershark Tested-by: BuildkiteCI --- users/glittershark/system/home/modules/development.nix | 1 - 1 file changed, 1 deletion(-) (limited to 'users/glittershark/system/home/modules/development.nix') diff --git a/users/glittershark/system/home/modules/development.nix b/users/glittershark/system/home/modules/development.nix index 3056f8547a0d..fd00be86375a 100644 --- 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 ]; -- cgit 1.4.1