Makefile: chkdb etc. is only called if DESTDIR is empty, so there is no need for...
-rw-r--r-- 68 .hgignore
-rw-r--r-- 524 .project
drwxr-xr-x - .settings
-rw-r--r-- 49294 Doxyfile
-rw-r--r-- 5527 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 7643 update-iserv1-iserv2.pl
This page took 0.023375 seconds and 4 git commands to generate.