From e4611d0c81824141b997f5c9465c907312e2ffd2 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Fri, 17 Mar 2023 09:02:58 +0530 Subject: [PATCH] ... --- kittens/hints/main.py | 1 - 1 file changed, 1 deletion(-) diff --git a/kittens/hints/main.py b/kittens/hints/main.py index 11963553f..d4c9760e6 100644 --- a/kittens/hints/main.py +++ b/kittens/hints/main.py @@ -71,7 +71,6 @@ def custom_marking() -> None: raise SystemExit(0) -# CLI {{{ OPTIONS = r''' --program type=list