Remove unneeded TODO comment

10 months ago · 2ce2292d6f
1 changed files with 0 additions and 1 deletions
--- a/src/lib/components/Publication.svelte
+++ b/src/lib/components/Publication.svelte
@ -163,7 +163,6 @@
				@@ -163,7 +163,6 @@
  });
 </script>

-<!-- TODO: Keep track of already-loaded leaves. -->
 <!-- TODO: Handle entering mid-document and scrolling up. -->

 {#if showTocButton && !showToc}