danielebarchiesi@4: name = Administration Development tools
danielebarchiesi@4: description = Administration and debugging functionality for developers and site builders.
danielebarchiesi@4: package = Administration
danielebarchiesi@4: core = 7.x
danielebarchiesi@4: scripts[] = admin_devel.js
danielebarchiesi@4: 
danielebarchiesi@4: ; Information added by drupal.org packaging script on 2013-01-31
danielebarchiesi@4: version = "7.x-3.0-rc4"
danielebarchiesi@4: core = "7.x"
danielebarchiesi@4: project = "admin_menu"
danielebarchiesi@4: datestamp = "1359651687"
danielebarchiesi@4: