devel_node_access.install

<?php
// $Id$

function devel_node_access_install() {
}

function devel_node_access_uninstall() {
  variable_del('devel_node_access_debug_mode');

  if (!module_exists('devel')) {
    // Delete the development menu.
    $devel_menu = menu_load('devel');
    menu_delete($devel_menu);
  }
}