Index: civicrm_theme/civicrm_theme.install
===================================================================
RCS file: civicrm_theme/civicrm_theme.install
diff -N civicrm_theme/civicrm_theme.install
--- /dev/null	1 Jan 1970 00:00:00 -0000
+++ civicrm_theme/civicrm_theme.install	20 Jan 2008 06:42:42 -0000
@@ -0,0 +1,7 @@
+<?php
+// $Id$
+
+function civicrm_theme_uninstall() {
+  variable_del('civicrm_theme');
+  variable_del('civicrm_admin_theme');
+}