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/src/Main.hs | |
| 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 '')
| -rw-r--r-- | fun/owothia/src/Main.hs (renamed from users/grfn/owothia/src/Main.hs) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/users/grfn/owothia/src/Main.hs b/fun/owothia/src/Main.hs
index 65578f258c..65578f258c 100644
--- a/users/grfn/owothia/src/Main.hs
+++ b/fun/owothia/src/Main.hs
|