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 /tests/firebug.urs | |
parent | 81e4a62fd6e083420211a4cd9684bb9802405c75 (diff) |
Tweak Especialize heuristic
Diffstat (limited to 'tests/firebug.urs')
0 files changed, 0 insertions, 0 deletions