<?php
// $Id$

/**
 * @file
 * Install file for Finder Menu.
 */

/**
 * Implementation of hook_uninstall();
 */
function finder_menu_uninstall() {
  variable_del('finder_menu');
}