diff options
-rw-r--r-- | fun/owothia/.envrc (renamed from users/grfn/owothia/.envrc) | 0 | ||||
-rw-r--r-- | fun/owothia/.gitignore (renamed from users/grfn/owothia/.gitignore) | 0 | ||||
-rw-r--r-- | fun/owothia/chatter.patch (renamed from users/grfn/owothia/chatter.patch) | 0 | ||||
-rw-r--r-- | fun/owothia/default.nix (renamed from users/grfn/owothia/default.nix) | 0 | ||||
-rw-r--r-- | fun/owothia/hie.yaml (renamed from users/grfn/owothia/hie.yaml) | 0 | ||||
-rw-r--r-- | fun/owothia/owothia.cabal (renamed from users/grfn/owothia/owothia.cabal) | 0 | ||||
-rw-r--r-- | fun/owothia/pkg.nix (renamed from users/grfn/owothia/pkg.nix) | 0 | ||||
-rw-r--r-- | fun/owothia/regex-tdfa-text.patch (renamed from users/grfn/owothia/regex-tdfa-text.patch) | 0 | ||||
-rw-r--r-- | fun/owothia/shell.nix (renamed from users/grfn/owothia/shell.nix) | 0 | ||||
-rw-r--r-- | fun/owothia/src/Main.hs (renamed from users/grfn/owothia/src/Main.hs) | 0 |
10 files changed, 0 insertions, 0 deletions
diff --git a/users/grfn/owothia/.envrc b/fun/owothia/.envrc index 051d09d292a8..051d09d292a8 100644 --- a/users/grfn/owothia/.envrc +++ b/fun/owothia/.envrc diff --git a/users/grfn/owothia/.gitignore b/fun/owothia/.gitignore index 8e850e7a0af2..8e850e7a0af2 100644 --- a/users/grfn/owothia/.gitignore +++ b/fun/owothia/.gitignore diff --git a/users/grfn/owothia/chatter.patch b/fun/owothia/chatter.patch index c2a6179bfbbf..c2a6179bfbbf 100644 --- a/users/grfn/owothia/chatter.patch +++ b/fun/owothia/chatter.patch diff --git a/users/grfn/owothia/default.nix b/fun/owothia/default.nix index b70d0525c152..b70d0525c152 100644 --- a/users/grfn/owothia/default.nix +++ b/fun/owothia/default.nix diff --git a/users/grfn/owothia/hie.yaml b/fun/owothia/hie.yaml index 16a6c1526259..16a6c1526259 100644 --- a/users/grfn/owothia/hie.yaml +++ b/fun/owothia/hie.yaml diff --git a/users/grfn/owothia/owothia.cabal b/fun/owothia/owothia.cabal index ef5477ea1bf2..ef5477ea1bf2 100644 --- a/users/grfn/owothia/owothia.cabal +++ b/fun/owothia/owothia.cabal diff --git a/users/grfn/owothia/pkg.nix b/fun/owothia/pkg.nix index d0941a848958..d0941a848958 100644 --- a/users/grfn/owothia/pkg.nix +++ b/fun/owothia/pkg.nix diff --git a/users/grfn/owothia/regex-tdfa-text.patch b/fun/owothia/regex-tdfa-text.patch index 6b2c34654382..6b2c34654382 100644 --- a/users/grfn/owothia/regex-tdfa-text.patch +++ b/fun/owothia/regex-tdfa-text.patch diff --git a/users/grfn/owothia/shell.nix b/fun/owothia/shell.nix index 1ad70c907baa..1ad70c907baa 100644 --- a/users/grfn/owothia/shell.nix +++ b/fun/owothia/shell.nix diff --git a/users/grfn/owothia/src/Main.hs b/fun/owothia/src/Main.hs index 65578f258c1a..65578f258c1a 100644 --- a/users/grfn/owothia/src/Main.hs +++ b/fun/owothia/src/Main.hs |