From 7d4303cc71ff41008c7fdfefcf72e921e22647ce Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Sun, 23 Jan 2022 01:27:45 +0100 Subject: [PATCH] remove groupthm.tdo from repository --- doc/environments/groupthm/groupthm.tdo | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 doc/environments/groupthm/groupthm.tdo diff --git a/doc/environments/groupthm/groupthm.tdo b/doc/environments/groupthm/groupthm.tdo deleted file mode 100644 index 26e58df..0000000 --- a/doc/environments/groupthm/groupthm.tdo +++ /dev/null @@ -1,4 +0,0 @@ -\contentsline {todo}{\color@fb@x {}{black}{}{orange}{\leavevmode {\color {orange}o}}\ insert code example output}{4}{section*.3}% -\contentsline {todo}{\color@fb@x {}{black}{}{orange}{\leavevmode {\color {orange}o}}\ code}{4}{section*.4}% -\contentsline {todo}{\color@fb@x {}{black}{}{red!40}{\leavevmode {\color {red!40}o}}\ Add reference.}{7}{section*.5}% -\contentsline {todo}{\color@fb@x {}{black}{}{red!40}{\leavevmode {\color {red!40}o}}\ Add reference.}{18}{section*.6}%