Remove tea-cleanerHEADmaster

Since I do not use gitea anymore and cannot maintain the compatibility
with the new versions.

1 files changed, 0 insertions, 14 deletions

diff --git a/tea-cleaner/TeaCleaner/Options.hs b/tea-cleaner/TeaCleaner/Options.hs
deleted file mode 100644
index b1b6372..0000000
--- a/tea-cleaner/TeaCleaner/Options.hs
+++ /dev/null
@@ -1,14 +0,0 @@
-{- This Source Code Form is subject to the terms of the Mozilla Public License,
-   v. 2.0. If a copy of the MPL was not distributed with this file, You can
-   obtain one at https://mozilla.org/MPL/2.0/. -}
-
-module TeaCleaner.Options
-    ( jsonOptions
-    ) where
-
-import qualified Data.Aeson as Aeson
-
-jsonOptions :: Aeson.Options
-jsonOptions = Aeson.defaultOptions
-    { Aeson.fieldLabelModifier = Aeson.camelTo2 '_'
-    }