Makefile: chkdb etc. was only run if DESTDIR was not set, but it should have been...
-rw-r--r-- 81 .hgignore
-rw-r--r-- 524 .project
drwxr-xr-x - .settings
-rw-r--r-- 49294 Doxyfile
-rw-r--r-- 5546 Makefile
drwxr-xr-x - debian
drwxr-xr-x - doc
drwxr-xr-x - img
drwxr-xr-x - includes
drwxr-xr-x - lang
drwxr-xr-x - nav
drwxr-xr-x - priv
drwxr-xr-x - sql
drwxr-xr-x - src
-rwxr-xr-x 7689 update-iserv1-iserv2.pl
This page took 0.021416 seconds and 4 git commands to generate.