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/hie.yaml | |
| 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/hie.yaml')
| -rw-r--r-- | users/grfn/owothia/hie.yaml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/users/grfn/owothia/hie.yaml b/users/grfn/owothia/hie.yaml deleted file mode 100644 index 16a6c1526259..000000000000 --- a/users/grfn/owothia/hie.yaml +++ /dev/null @@ -1,4 +0,0 @@ -cradle: - cabal: - - path: './app' - component: 'exe:owothia' |