Add a `Delete` button to the GUI NavBar, and cleanup deletion callbacks.
[hooke.git] / .mailmap
2012-01-08 W. Trevor KingAdd .mailmap to standardize author names and emails...