diff options
Diffstat (limited to 'etc/disable-devel.inc')
-rw-r--r-- | etc/disable-devel.inc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/etc/disable-devel.inc b/etc/disable-devel.inc index 07fc3928c..24c739b5b 100644 --- a/etc/disable-devel.inc +++ b/etc/disable-devel.inc | |||
@@ -1,4 +1,5 @@ | |||
1 | # Local customizations come here | 1 | # This file is overwritten during software install. |
2 | # Persistent customizations should go in a .local file. | ||
2 | include /etc/firejail/disable-devel.local | 3 | include /etc/firejail/disable-devel.local |
3 | 4 | ||
4 | # development tools | 5 | # development tools |