1 files changed, 0 insertions, 55 deletions
diff --git a/gummi/gummi.ini b/gummi/gummi.ini
deleted file mode 100644
index 1bb396d..0000000
--- a/gummi/gummi.ini
+++ /dev/null
@@ -1,55 +0,0 @@
-[General]
-config_version=0.8.3
-
-[Interface]
-mainwindow_x=0
-mainwindow_y=20
-mainwindow_w=1920
-mainwindow_h=1060
-mainwindow_max=false
-toolbar=true
-statusbar=true
-rightpane=true
-snippets=true
-
-[Editor]
-font_str=Monospace 14
-font_css=* { font-family: Monospace; font-size: 14px; }
-line_numbers=true
-highlighting=false
-textwrapping=true
-wordwrapping=true
-tabwidth=4
-spaces_instof_tabs=false
-autoindentation=true
-style_scheme=solarized-dark
-spelling=false
-spelling_lang=None
-
-[Preview]
-zoom_mode=Fit Page Width
-pagelayout=one_column
-autosync=false
-animated_scroll=always
-cache_size=150
-
-[File]
-autosaving=false
-autosave_timer=10
-autoexport=true
-
-[Compile]
-typesetter=latexmk
-steps=texpdf
-pause=false
-scheme=on_idle
-timer=1
-shellescape=true
-synctex=true
-
-[Misc]
-recent1=__NULL__
-recent2=__NULL__
-recent3=__NULL__
-recent4=__NULL__
-recent5=__NULL__