Create our own admin_settings page if Devel is not installed.
-rw-r--r-- 1500 README.txt
-rw-r--r-- 1578 README_devel_node_access.txt
-rw-r--r-- 65 devel.css
-rw-r--r-- 109 devel.info
-rw-r--r-- 3265 devel.install
-rw-r--r-- 254 devel.js
-rw-r--r-- 52854 devel.module
-rw-r--r-- 13710 devel_generate.inc
-rw-r--r-- 109 devel_generate.info
-rw-r--r-- 5436 devel_generate.module
-rw-r--r-- 136 devel_node_access.info
-rw-r--r-- 149 devel_node_access.install
-rw-r--r-- 28006 devel_node_access.module
drwxr-xr-x - generate
-rw-r--r-- 119 macro.info
-rw-r--r-- 7424 macro.module
drwxr-xr-x - po