I installed the Manifold plugin for IntelliJ IDEA, but then we decided we don't need it.
I'm using a Mac.
How the heck do I remove it?
It gives me a bunch of errors like java: package manifold.internal.runtime does not exist
for each file.
You can delete the plug-in manually from the plug-ins directory.
On macOS for IntelliJ IDEA 2019.1 version that would be:
~/Library/Application Support/IntelliJIdea2019.1