From 19c36c5ac8f05f3261adda46ab66cee1bc0485dd Mon Sep 17 00:00:00 2001 From: Dmitry Zuikov Date: Thu, 9 Feb 2023 11:00:18 +0300 Subject: [PATCH] updated fixme config --- .fixme/config | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 .fixme/config diff --git a/.fixme/config b/.fixme/config new file mode 100644 index 00000000..0f316f8f --- /dev/null +++ b/.fixme/config @@ -0,0 +1,15 @@ + + +fixme-comments -- + +fixme-prefix FIXME: bugs issues +fixme-prefix TODO: bugs issues + +fixme-files **/*.hs docs/devlog.md + +fixme-files-ignore .direnv/** dist-newstyle/** + +fixme-id-show-len 10 + +fixme-list-full-row-pref ">>> " +