diff options
Diffstat (limited to 'etc/server.profile')
-rw-r--r-- | etc/server.profile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/server.profile b/etc/server.profile index cae1a7e79..1bc2920d9 100644 --- a/etc/server.profile +++ b/etc/server.profile | |||
@@ -37,3 +37,4 @@ private-tmp | |||
37 | # memory-deny-write-execute | 37 | # memory-deny-write-execute |
38 | # noexec ${HOME} | 38 | # noexec ${HOME} |
39 | # noexec /tmp | 39 | # noexec /tmp |
40 | nodvd | ||