web commit by hb

diff --git a/doc/todo/Option_to_disable_date_footer_for_inlines.mdwn b/doc/todo/Option_to_disable_date_footer_for_inlines.mdwn
index 87e94db8469f26d3f99a95526e9baa51cff9a748..73d72efaa043bb7df9de21674423fb87eb8802ca 100644 (file)
--- a/doc/todo/Option_to_disable_date_footer_for_inlines.mdwn
+++ b/doc/todo/Option_to_disable_date_footer_for_inlines.mdwn
@@ -2,3 +2,5 @@
 post dates.  I'd like an option to omit the post dates as well, leaving only
 the page titles.  Such an option would streamline the [[/users]] page, for
 instance. --[[JoshTriplett]]
 post dates.  I'd like an option to omit the post dates as well, leaving only
 the page titles.  Such an option would streamline the [[/users]] page, for
 instance. --[[JoshTriplett]]

+    Yes, indeed, something like "compact" mode would be useful. --hb
+