From 75a8959b10fbf4aec861f42fb7b96e1fb4f82de6 Mon Sep 17 00:00:00 2001 From: Dmitry Zuikov Date: Fri, 10 Feb 2023 16:24:58 +0300 Subject: [PATCH] Revert "fixme updated" This reverts commit 5435d4c8781c7720e05a37e4fc309b098c4e348f. --- .fixme/config | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.fixme/config b/.fixme/config index 95c158b5..f0dc67c2 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