Show
Ignore:
Timestamp:
20.01.2013 20:30:40 (7 years ago)
Author:
davidb
Message:

More careful control of ./configure to avoid unneeded packages/options/features

Files:
1 modified

Legend:

Unmodified
Added
Removed