diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-11-25 09:03:08 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-11-25 09:03:08 -0500 |
commit | 13d3b41094079577a858394088ddbf74e56c780d (patch) | |
tree | 9c1550161f62841c83d9b8ccb39a6756305737b8 /tests/vlad1.urs | |
parent | e3e85099d748fb60653ed1f8d7ad06831ef490b7 (diff) |
Better error message for link-handler conflicts
Diffstat (limited to 'tests/vlad1.urs')
0 files changed, 0 insertions, 0 deletions