321be5db13
*This patch is needed because some filesystem names (such as 9p) start with a digit. |
||
---|---|---|
.gitignore | ||
checkpolicy-filesystem.patch | ||
checkpolicy-rhat.patch | ||
checkpolicy.spec | ||
sources |
321be5db13
*This patch is needed because some filesystem names (such as 9p) start with a digit. |
||
---|---|---|
.gitignore | ||
checkpolicy-filesystem.patch | ||
checkpolicy-rhat.patch | ||
checkpolicy.spec | ||
sources |