Jaime Thomas 20db4031f1 Mark theme files as EXTRA_DIST so the theme is recompiled when changed.		2008-12-21 23:49:57 +00:00
..
trunk	Mark theme files as EXTRA_DIST so the theme is recompiled when changed.	2008-12-21 23:49:57 +00:00