diff options
Diffstat (limited to 'TODO')
-rw-r--r-- | TODO | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -38,9 +38,6 @@ Minor Cleanups and Code Improvements Review the bash source script for working with shared libraries in order to nuke the use of libtool. - In test/Makefile.am and generation scripts, quote $(srcdir) etc. - for windows or other systems with spaces in path names. Fun. - Enhance profiling to same comments in a byte-code that does nothing but that can be used when pretty printing the program. |