name = Override node options
description = "Allow non-admins to override the default publishing options for nodes they can edit."
core = 7.x
package = Permissions
configure = admin/config/content/override-node-options
files[] = override_node_options.test

; Information added by Drupal.org packaging script on 2018-03-31
version = "7.x-1.14"
core = "7.x"
project = "override_node_options"
datestamp = "1522482188"