Fixed broken "optimisation" - noticed by TK Soh
tree03a55da1150bbe3594e6c2d856f77d3f0c3c2d4f
-rw-r--r-- 17 .cvsignore
-rw-r--r-- 15008 COPYRIGHT
-rw-r--r-- 251511 ChangeLog
-rw-r--r-- 2539 Makefile
drwxr-xr-x - Microline
-rw-r--r-- 27970 README
-rw-r--r-- 28058 ReleaseNotes
drwxr-xr-x - Xlt
drwxr-xr-x - doc
drwxr-xr-x - makefiles
drwxr-xr-x - source
drwxr-xr-x - util