From 018d75775eab4a0f045949a9d069c57686ca2686 Mon Sep 17 00:00:00 2001
From: netblue30 <netblue30@yahoo.com>
Date: Tue, 21 Apr 2020 08:24:28 -0400
Subject: reorganize github etc directory

---
 etc/gummi.profile | 19 -------------------
 1 file changed, 19 deletions(-)
 delete mode 100644 etc/gummi.profile

(limited to 'etc/gummi.profile')

diff --git a/etc/gummi.profile b/etc/gummi.profile
deleted file mode 100644
index 922b2cbde..000000000
--- a/etc/gummi.profile
+++ /dev/null
@@ -1,19 +0,0 @@
-# Firejail profile for gummi
-# This file is overwritten after every install/update
-# Persistent local customizations
-include gummi.local
-# Persistent global definitions
-include globals.local
-
-noblacklist ${HOME}/.cache/gummi
-noblacklist ${HOME}/.config/gummi
-
-include allow-lua.inc
-include allow-perl.inc
-include allow-python3.inc
-
-private-bin dvipdf,dvips,env,gummi,latex,latexmk,lua*,lualatex,luatex,pdflatex,pdftex,perl,ps2pdf,python3*,rubber,synctex,tex,xelatex,xetex
-
-# Redirect
-include latex-common.profile
-
-- 
cgit v1.2.3-70-g09d2