diff options
| -rw-r--r-- | src/file.cil | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/file.cil b/src/file.cil index 83a4b47..c007396 100644 --- a/src/file.cil +++ b/src/file.cil @@ -706,6 +706,9 @@ (macro mapexecute_file_files ((type ARG1)) (allow ARG1 file mapexecute_file)) + (macro map_file_files ((type ARG1)) + (allow ARG1 file (file (map)))) + (macro mounton_file_files ((type ARG1)) (allow ARG1 file mounton_file)) |