From 5435d4c8781c7720e05a37e4fc309b098c4e348f Mon Sep 17 00:00:00 2001 From: Dmitry Zuikov Date: Fri, 10 Feb 2023 16:21:02 +0300 Subject: [PATCH] fixme updated --- .fixme/config | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.fixme/config b/.fixme/config index f0dc67c2..95c158b5 100644 --- a/.fixme/config +++ b/.fixme/config @@ -2,9 +2,9 @@ fixme-comments -- -fixme-prefix FIXME: bugs issues -fixme-prefix TODO: bugs issues -fixme-prefix PEP: proposals +fixme-prefix FIXME: bugs issues +fixme-prefix TODO: bugs issues +fixme-prefix PEP: proposals fixme-files **/*.hs docs/devlog.md