bc7e8f5da8
We can't just use the primary name, as that would mess up backtracking. We need to record the name which caused the name to get considered - that way the right last_touched_decision is used on backtracking. |
||
---|---|---|
src | ||
test | ||
.gitignore | ||
AUTHORS | ||
Make.rules | ||
Makefile | ||
NEWS | ||
README |