Unnecessary name duplication in Linux Mint menuhttp://openusability.blogspot.com/2015/08/un-necessary-name-duplication-in-linux.html by bitbandit • 11 years ago 1 0 11 years agoOPopenusability.blogspot.com