Add uninstall option to makefile
authorSamuel Dudik <redacted>
Thu, 30 Jul 2020 16:58:09 +0000 (18:58 +0200)
committerSamuel Dudik <redacted>
Thu, 30 Jul 2020 16:58:09 +0000 (18:58 +0200)
commit5505ac7d5951eda956d81c66a2b3ff764f4f27bf
tree4cdc3f1e36193139c9232b941cc1ca5be2f1dcb0
parentf22875d19b482358cbffdaa927c884d827cd8167
Add uninstall option to makefile
.gitignore
makefile