diff options
author | 2018-07-04 15:48:02 -0400 | |
---|---|---|
committer | 2018-07-04 15:48:02 -0400 | |
commit | e91e7b2b8165450e695c7f45492cca2ae6927678 (patch) | |
tree | a9379cc4330adfa679cdae89f64741c6f23df679 /src/firecfg | |
parent | Merge pull request #2025 from Bundy01/master (diff) | |
download | firejail-e91e7b2b8165450e695c7f45492cca2ae6927678.tar.gz firejail-e91e7b2b8165450e695c7f45492cca2ae6927678.tar.zst firejail-e91e7b2b8165450e695c7f45492cca2ae6927678.zip |
Merges + misc fixes
- Change some links in README to HTTPS
- Fixup some typos in firejail-profile manpage
- Cleanup dash from private-etc
- Fixup gradio
- Synchronize server profile with default profile
Diffstat (limited to 'src/firecfg')
-rw-r--r-- | src/firecfg/firecfg.config | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/firecfg/firecfg.config b/src/firecfg/firecfg.config index 718c2f973..5e5a5a967 100644 --- a/src/firecfg/firecfg.config +++ b/src/firecfg/firecfg.config | |||
@@ -188,6 +188,7 @@ google-play-music-desktop-player | |||
188 | gpa | 188 | gpa |
189 | gpicview | 189 | gpicview |
190 | gpredict | 190 | gpredict |
191 | gradio | ||
191 | gthumb | 192 | gthumb |
192 | guayadeque | 193 | guayadeque |
193 | gucharmap | 194 | gucharmap |