Add a `Delete` button to the GUI NavBar, and cleanup deletion callbacks.
[hooke.git] / .gitignore
2012-01-08 W. Trevor KingConvert .hgignore to .gitignore now that I'm versioning...