April 13, 2019 Niels Kobschätzki Dear developers: please not only add a target for “install” but also for “uninstall” in your Makefiles. micro (1226)
