diff options
author | Jorim Jaggi <jjaggi@google.com> | 2017-01-18 15:36:42 +0000 |
---|---|---|
committer | Jorim Jaggi <jjaggi@google.com> | 2017-01-18 15:47:11 +0000 |
commit | aa03ef26214767cc53d21be40d3027fc69684551 (patch) | |
tree | 424251a3df60f5f4ccdeb4f1b98db13c00e4c309 /reqd_mask/property_contexts | |
parent | 262edc382ae4da130b211203bf05c03179794616 (diff) | |
download | sepolicy-aa03ef26214767cc53d21be40d3027fc69684551.tar.gz |
Revert "property_context: split into platform and non-platform components."
This reverts commit 262edc382ae4da130b211203bf05c03179794616.
Fixes: 34370523
Change-Id: I077d064d4031d40bc48cb39eba310e6c16b9627d
Diffstat (limited to 'reqd_mask/property_contexts')
-rw-r--r-- | reqd_mask/property_contexts | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/reqd_mask/property_contexts b/reqd_mask/property_contexts deleted file mode 100644 index 8e0bdbbde..000000000 --- a/reqd_mask/property_contexts +++ /dev/null @@ -1,3 +0,0 @@ -# empty property_contexts file - this file is used to generate an empty -# non-platform property context for devices without any property_contexts -# customizations. |