[Julia] Remove eps option from settings menu too

153bcdc2 · Nikita Sirgienko · abbdb051 · 153bcdc2
Commit 153bcdc2 authored May 11, 2020 by Nikita Sirgienko
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 5 deletions

src/backends/julia/settings.ui src/backends/julia/settings.ui +0 -5

No files found.
--- a/src/backends/julia/settings.ui
+++ b/src/backends/julia/settings.ui
@@ -50,11 +50,6 @@
         <string notr="true">svg</string>
        </property>
       </item>
-       <item>
-        <property name="text">
-         <string notr="true">eps</string>
-        </property>
-       </item>
       <item>
        <property name="text">
         <string notr="true">png</string>