inveniosoftware/invenio — pull request #2418 by makistsantekidis (2014-10-16 14:16:38+00:00)
Title: Amended uninstall-jquery-plugins

* Amended deletion of files and folders that were
not deleted during uninstall-jquery-plugins even
though they were added by install-jquery-plugins

* Minor format fix