User: weitzman Branch: HEAD Date: Tue, 01 May 2007 15:20:46 +0000 Modified files: /modules/devel devel.module Log message: fix pesky problem with saving admin settings Links: http://cvs.drupal.org/diff.php?path=contributions/modules/devel/devel.module&old=1.159&new=1.160&root=contrib