Merge branch 'makefiles'
[prop.git] / lib / 
treec69d3e8e5d8ba0448080d56c16aac373b98d85ca
drwxr-xr-x   ..
lrwxrwxrwx 20 libprop.a -> ../lib-src/libprop.a