uninstaller

[JotaPin]

Dear all,
A rather simple question I hope: how do you uninstall deepdive when it was used with the option 1 "1) deepdiveof" in git.io/getdeepdive, under ubuntu?

Simply by deleteting ddlog, deepdive, mindbender in ~/local/bin will leave a lot of other files? (I do not mind leaving the .deb dependencies installed however).
Thanks in advance,
Jota Pin