Removing all items from tools menu before adding all #3820

Merged
merged 3 commits into from Sep 18, 2015

Conversation

Projects
None yet
2 participants
@Akarshit
Member

Akarshit commented Sep 18, 2015

Fix for #3818
@benfry When rebasing this it says up-to date, any suggestion ?

benfry added a commit that referenced this pull request Sep 18, 2015

Merge pull request #3820 from Akarshit/CM-ToolsMenu
Removing all items from tools menu before adding all

@benfry benfry merged commit 5b43878 into processing:master Sep 18, 2015

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment