Minor improvements.
treea5c5b6459e3235bbb25748b8dd139394a65e1550
-rw-r--r-- 1317 GNUmakefile
drwxr-xr-x - cui
drwxr-xr-x - gtk
drwxr-xr-x - gui-Win32
drwxr-xr-x - libdb
drwxr-xr-x - libfrontend
drwxr-xr-x - php
-rw-r--r-- 1832 result.h
drwxr-xr-x - sql