Patch 3 intends to make it easier to maintain local changes to the flask
policy in a patchqueue.  The prior patches are trivial cleanup.

No functional change.  Only whitespace changes.

Andrew Cooper (3):
  tools/flask: Strip trailing whitespace
  tools/flask: Use tabs uniformly
  tools/flask: Reformat allow declarations

 tools/flask/policy/modules/dom0.te            | 122 +++++++--
 tools/flask/policy/modules/modules.conf       |   2 +-
 tools/flask/policy/modules/vm_role.cons       |   4 +-
 tools/flask/policy/modules/xen.if             | 253 ++++++++++++++----
 tools/flask/policy/modules/xen.te             |  25 +-
 tools/flask/policy/modules/xenstore.te        |   6 +-
 tools/flask/policy/policy/mls                 |   2 +-
 .../policy/policy/support/misc_macros.spt     |   2 +-
 8 files changed, 338 insertions(+), 78 deletions(-)


base-commit: a845b50c12f3ec3a14255f5eb3062d0c9801a356
-- 
2.39.5