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 | d68cc2cacb434a7d7605c4a50671f4180d1afaba (patch) | |
| tree | 96fe2e3156091500563dbd0caa08e2932a0bf333 /mining/CONFIGURE | |
| parent | 12237bd4762086a14b526771c5fc67752b22d7eb (diff) | |
mining Makefile: enable auto-configure
Diffstat (limited to 'mining/CONFIGURE')
0 files changed, 0 insertions, 0 deletions