name = EditMenu Devel Menu
description = Include the developer menu in the editmenu tree.
dependencies[] = editmenu
dependencies[] = devel
files[] = editmenu_devel.module
core = 7.x
package = Menu
project = editmenu

; Information added by drupal.org packaging script on 2010-05-26
version = "7.x-1.x-dev"
core = "7.x"
project = "editmenu"
datestamp = "1274876110"


; Information added by drupal.org packaging script on 2011-11-10
version = "7.x-1.x-dev"
core = "7.x"
project = "editmenu"
datestamp = "1320887030"

