*** empty log message ***

diff --git a/TODO b/TODO
index 6dcc32c51c96064ee8232dba6944c2f54b23ce6e..24ca660ab274c6631058aa13aec99af4c78cb0e6 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,4 +1,5 @@
 Top priorities:
+* Handle installable libraries and headers
 
 Some known problems:
 * clean targets not very well tested