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