From 259cbfd0b271990639b0a02d83453acc0c18da1c Mon Sep 17 00:00:00 2001 From: Vincent Ambo Date: Tue, 11 May 2021 15:46:03 +0200 Subject: chore(owothia): move to //fun/owothia Owothia graduates, or something. Mostly I don't want infrastructure to depend on stuff in //users. Does anyone know where owothia is running anyways? Change-Id: I198c7ac935736c7aee3ba4fbda1453b82aa10283 Reviewed-on: https://cl.tvl.fyi/c/depot/+/3103 Tested-by: BuildkiteCI Reviewed-by: grfn --- users/grfn/owothia/.gitignore | 30 ------------------------------ 1 file changed, 30 deletions(-) delete mode 100644 users/grfn/owothia/.gitignore (limited to 'users/grfn/owothia/.gitignore') diff --git a/users/grfn/owothia/.gitignore b/users/grfn/owothia/.gitignore deleted file mode 100644 index 8e850e7a0af2..000000000000 --- a/users/grfn/owothia/.gitignore +++ /dev/null @@ -1,30 +0,0 @@ -dist -dist-* -build/ -cabal-dev -*.o -*.hi -*.hie -*.chi -*.chs.h -*.dyn_o -*.dyn_hi -.hpc -.hsenv -.cabal-sandbox/ -cabal.sandbox.config -*.prof -*.aux -*.hp -*.eventlog -.stack-work/ -cabal.project.local -cabal.project.local~ -.HTF/ -.ghc.environment.* - -# from nix-build -result - -# grr -*_flymake.hs -- cgit 1.4.1