diff options
| author | Vincent Ambo <mail@tazj.in> | 2021-05-11T13·46+0200 |
|---|---|---|
| committer | tazjin <mail@tazj.in> | 2021-05-11T21·34+0000 |
| commit | 259cbfd0b271990639b0a02d83453acc0c18da1c (patch) | |
| tree | eaf07bc086f86c8da07f3e223dd8f230017f9cd8 /fun/owothia/.gitignore | |
| parent | 13336c60570bef5e6a303a5c1fb76595dda07da8 (diff) | |
chore(owothia): move to //fun/owothia r/2577
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 <grfn@gws.fyi>
Diffstat (limited to 'fun/owothia/.gitignore')
| -rw-r--r-- | fun/owothia/.gitignore | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/fun/owothia/.gitignore b/fun/owothia/.gitignore new file mode 100644 index 000000000000..8e850e7a0af2 --- /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 |