diff options
| author | user <user@bergwerk> | 2011-07-09 07:11:12 +0000 |
|---|---|---|
| committer | user <user@bergwerk> | 2011-07-09 07:11:12 +0000 |
| commit | e03b7fc183deb56cf71eb9095257356d4c2c54dc (patch) | |
| tree | 0a839985868d38085ef4b0754c3a0ec4105426b7 /doc | |
| parent | ae7f4a6fe65530bebf37a17a026a611122f3de5a (diff) | |
mining Makefile: enable auto-configure
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions