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 |