permissionProductionIndentHalt top-level property

Permission permissionProductionIndentHalt
getter/setter pair

Implementation

Permission permissionProductionIndentHalt = Permission(
  uid: 'production-indents-extra-halt',
  name: 'Production Indent Halt',
  description: 'Permission to halt a production indent',
);