name: Permission Filter
type: module
description: Create a filter for permission page.
# core: 8.x
package: Other

# Information added by Drupal.org packaging script on 2016-10-26
version: '8.x-1.0'
core: '8.x'
project: 'permissions_filter'
datestamp: 1477463041