diff options
Diffstat (limited to 'etc/jumpnbump-menu.profile')
-rw-r--r-- | etc/jumpnbump-menu.profile | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/etc/jumpnbump-menu.profile b/etc/jumpnbump-menu.profile deleted file mode 100644 index b1852b015..000000000 --- a/etc/jumpnbump-menu.profile +++ /dev/null | |||
@@ -1,15 +0,0 @@ | |||
1 | # Firejail profile for jumpnbump-menu | ||
2 | # Description: Level selection and config menu for the Jump 'n Bump game | ||
3 | # This file is overwritten after every install/update | ||
4 | # Persistent local customizations | ||
5 | include jumpnbump-menu.local | ||
6 | # Persistent global definitions | ||
7 | # added by included profile | ||
8 | #include globals.local | ||
9 | |||
10 | include allow-python3.inc | ||
11 | |||
12 | private-bin jumpnbump-menu,python3* | ||
13 | |||
14 | # Redirect | ||
15 | include jumpnbump.profile | ||