From f9205a3b883c08499edfdd3f9d1a6170a6fc6755 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Mon, 4 Nov 2019 10:03:11 -0500 Subject: [PATCH] TODO: remove it, all done for now. --- TODO | 1 - 1 file changed, 1 deletion(-) delete mode 100644 TODO diff --git a/TODO b/TODO deleted file mode 100644 index a8ef5d8..0000000 --- a/TODO +++ /dev/null @@ -1 +0,0 @@ -1. Move the set operations from mjo-common and mjo-misc into mjo-set. -- 2.43.2