Skip to content

Commit

Permalink
Merge pull request #795 from unoebauer/gui_update
Browse files Browse the repository at this point in the history 
Force deactivate LaTeX in GUI - Fix #441
  • Loading branch information
@wkerzendorf
wkerzendorf committed Oct 6, 2017
2 parents 3d36b71 + 1e939b9 commit f7c77d1
Showing 1 changed file with 126 additions and 122 deletions.
Loading

0 comments on commit f7c77d1

Please sign in to comment.