shimizukawa 9d0ce7a6c1 Fixes #1884: plug-in html themes cannot inherit another plug-in theme ... Closes #1885: A part of code for this fix is from pull requeest #1885. refs #1794		2015-11-22 00:13:42 +09:00
..
base_theme1	Fixes #1884: plug-in html themes cannot inherit another plug-in theme	2015-11-22 00:13:42 +09:00
base_theme2	Fixes #1884: plug-in html themes cannot inherit another plug-in theme	2015-11-22 00:13:42 +09:00