BugFix for Duplicate Library Conflicts.#5126

Open

diwi wants to merge 5 commits intoprocessing:masterfrom

diwi:bugfix-duplicateLibraryConflict

Commits on Jun 12, 2017

BugFix for Duplicate Library Conflicts.
diwi
committed

Commits on Jun 17, 2017

Merge branch 'master' into bugfix-duplicateLibraryConflict
diwi
committed

Commits on Jun 19, 2017

.
diwi
committed

Commits on Jun 24, 2017

Merge branch 'master' of https://github.com/processing/processing into bugfix-duplicateLibraryConflict
diwi
committed

Commits on Jul 20, 2017

Merge branch 'master' of https://github.com/processing/processing into bugfix-duplicateLibraryConflict
diwi
committed