make devtools work with 25 trunk
[themes.git] / .gitignore
1 themelog-*