chiark / gitweb /
log: make color/location logging optional
-rw-r--r-- 422 .gitignore
-rw-r--r-- 996 CODING_STYLE
-rw-r--r-- 2577 DISTRO_PORTING
-rw-r--r-- 17987 LICENSE
-rw-r--r-- 17049 Makefile.am
-rw-r--r-- 862 README
-rwxr-xr-x 1890 bootstrap.sh
-rw-r--r-- 14645 configure.ac
-rw-r--r-- 1482 fixme
drwxr-xr-x - m4
drwxr-xr-x - man
drwxr-xr-x - src
drwxr-xr-x - test1
drwxr-xr-x - test2
drwxr-xr-x - units