Re: [Pharo-project] Issue 3544 in pharo: Rename Morphic-Themes into Themes

[pharo]

Comment #1 on issue 3544 by marcus.d...@gmail.com: Rename Morphic-Themes  
into Themes
http://code.google.com/p/pharo/issues/detail?id=3544
do we do that in 1.3?