Merge branch 'makefiles'
[prop.git] / configure-dir / 
tree10c1b83517ffe85f0f972d5c513460f57d22dc9f
drwxr-xr-x   ..
-rw-r--r-- 11660 Makefile.prop-src.old
-rw-r--r-- 3139 Makefile.tests
-rw-r--r-- 3565 Makefile.top
-rw-r--r-- 3134 generic.h
-rw-r--r-- 3120 generic.h.bool
-rw-r--r-- 3134 generic.h.nobool
-rw-r--r-- 12 testbool.C
-rw-r--r-- 49 testexplicit.C
-rw-r--r-- 314 testgetrusage.C
-rw-r--r-- 294 testtimes.C