Change name of dungeon maker - dual use of "compile" was confusing.
[open-adventure.git] / .shipper
1 extralines="""
2 <p>There is a <a href="http://esr.gitlab.io/open-adventure/coverage/">code coverage analysis</a></p>
3 """