diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-01-11 11:08:48 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-01-11 11:08:48 -0500 |
| commit | b6bce85840add488924fc68ab2fff7e949646fea (patch) | |
| tree | 65b85f5a3830da998fc8ca42f8166d30ba98e750 /config.sub | |
| parent | 81e4a62fd6e083420211a4cd9684bb9802405c75 (diff) | |
Tweak Especialize heuristic
Diffstat (limited to 'config.sub')
0 files changed, 0 insertions, 0 deletions