commit | 9a6ac0d725b0783c337cf80a20d7cbbef60c052b | [log] [tgz] |
---|---|---|
author | Dani Megert <dmegert> | Mon Dec 07 16:28:34 2015 +0100 |
committer | Dani Megert <dmegert> | Mon Dec 07 16:28:34 2015 +0100 |
tree | 45baa05e26bc3b2ae8f46dd7eea9d33cecf73ee1 | |
parent | ed9bc992c5e7369f0146149b6431951010069c3e [diff] |
Only emphasize match if the propoisal shell can be accessed