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 /users/grfn/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 'users/grfn/owothia/.gitignore')
| -rw-r--r-- | users/grfn/owothia/.gitignore | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/users/grfn/owothia/.gitignore b/users/grfn/owothia/.gitignore deleted file mode 100644 index 8e850e7a0a..0000000000 --- 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 |