Close <ul> tag.

Mirror image of
https://gitlab.com/graphviz/graphviz.gitlab.io/-/merge_requests/104

diff --git a/doc/todo.html b/doc/todo.html
index b2fa8a048751488dcd326d548b19a6cd8e102e03..4f46b9d0f55844d3e7c1389490541f367cbeab3f 100755 (executable)
--- a/doc/todo.html
+++ b/doc/todo.html
@@ -108,5 +108,6 @@ Write a replacement for smyrna/gvedit/dotty that provides a GUI interface for Gr
 to the usual functions for viewing, the program should provide widgets for the easy altering of graph
 attributes. There could also be an interface to the gvpr library, to create multiple views and modify a graph. Ideally,
 the system could allow the user to easily tailor the interactions.
+</ul>
 </body>
 </html>