aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorsimonmar <unknown>2004-02-16 10:21:35 +0000
committersimonmar <unknown>2004-02-16 10:21:35 +0000
commit992d4225a97a88d4b05be904efa35400d6ec4b8c (patch)
tree6586f93016be1946eb62d9d9f0311a50a741027a
parente7d7f2df9bfd33fa5761f846d23097822c15cf26 (diff)
[haddock @ 2004-02-16 10:21:35 by simonmar]
Add a TODO
-rw-r--r--TODO3
1 files changed, 3 insertions, 0 deletions
diff --git a/TODO b/TODO
index c6080031..1ed95a21 100644
--- a/TODO
+++ b/TODO
@@ -29,6 +29,9 @@
here: what we really want is just the documentation section but without
the extra whitespace between decls.
+* We don't handle non-ASCII characters in doc comments. (need to specify
+ the encoding in the generated HTML too?).
+
-----------------------------------------------------------------------------
-- features