From b308847ebd297246de81647ba57c844fa03824e9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Wed, 13 May 2020 03:17:37 +0200 Subject: [PATCH] Add to-do note --- src/problem/section_kind.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/problem/section_kind.rs b/src/problem/section_kind.rs index 7471722..0294654 100644 --- a/src/problem/section_kind.rs +++ b/src/problem/section_kind.rs @@ -1,3 +1,4 @@ +// TODO: remove if possible #[derive(Clone, Copy, Eq, Ord, PartialEq, PartialOrd)] pub enum SectionKind {