by Dave Reid: Reverted removing menu update from devel_update_7001().
authorDave Reid
Wed, 14 Oct 2009 01:15:50 +0000 (01:15 +0000)
committerDave Reid
Wed, 14 Oct 2009 01:15:50 +0000 (01:15 +0000)
commit9c9a88ce459746771bb7da5d062e3acff9f91e3c
tree2cdc716fd740ee7587a09381eeda2816741e7126
parent049a75407edfce645f1de6b4fa8aca386a379c30
by Dave Reid: Reverted removing menu update from devel_update_7001().
devel.install