diff options
author | Joey Hess <joey@kitenet.net> | 2008-03-06 16:54:23 -0500 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2008-03-06 16:54:23 -0500 |
commit | aebc0a13d37902941d5c36405cf696ae474fe291 (patch) | |
tree | f661981c3a2ad0f74be3c1f441d82ba3919bb2ca | |
parent | b823fdef9bf9e9dbef8389b4ab5bc50e1d0149e6 (diff) |
web commit by bremner
-rw-r--r-- | doc/todo/plugin.mdwn | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/todo/plugin.mdwn b/doc/todo/plugin.mdwn index 03fc096e5..3a1d401ea 100644 --- a/doc/todo/plugin.mdwn +++ b/doc/todo/plugin.mdwn @@ -53,3 +53,6 @@ There is work in progress at [[plugins/contrib/default_content_for___42__copyright__42___and___42__license__42__]] -- [[DavidBremner]] +* Would it make sense to have a hook to set the page name? This would solve a problem I see with +[[source code highlighting|plugins/contrib/sourcehighlight]] +-- [[DavidBremner]] |