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 --- fun/owothia/.gitignore | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 fun/owothia/.gitignore (limited to 'fun/owothia/.gitignore') diff --git a/fun/owothia/.gitignore b/fun/owothia/.gitignore new file mode 100644 index 0000000000..8e850e7a0a --- /dev/null +++ b/fun/owothia/.gitignore @@ -0,0 +1,30 @@ +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