RemoveDuplicatedSymbols

plugins. RemoveDuplicatedSymbols

Plugin to remove duplicated symbols (symbols with the same name)