make explorers executable
Signed-off-by: Steven Armstrong <steven@icarus.ethz.ch>
This commit is contained in:
parent
a132adbb03
commit
067614db1f
Loading…
Reference in New Issue