diff options
| author | Bernhard Reutner-Fischer <rep.dot.nop@gmail.com> | 2010-03-12 14:47:15 +0100 |
|---|---|---|
| committer | Bernhard Reutner-Fischer <rep.dot.nop@gmail.com> | 2010-03-12 14:47:15 +0100 |
| commit | de82658a05de0ace6f3d261dedc358d3a14f3681 (patch) | |
| tree | b3350f646287ab4a7ea2a8d8c30ce8c158e9f420 /extra/Makefile.in | |
| parent | 8f298a7c3593d6bdc29f45d9c5eda5a5503812f4 (diff) | |
remove config knobs that belong to the nptl branch
Fixes bug #1243
Signed-off-by: Bernhard Reutner-Fischer <rep.dot.nop@gmail.com>
Diffstat (limited to 'extra/Makefile.in')
0 files changed, 0 insertions, 0 deletions