From: Thomas Bläsius <thomas.blaesius@kit.edu>
Date: Thu, 19 Sep 2013 16:02:50 +0000 (+0200)
Subject: bug fixed: saving in pdf-mode did not work
X-Git-Url: https://i11git.iti.kit.edu/anon-gitweb/?p=Misc%2Fipe.git;a=commitdiff_plain;h=b4c641e4fc23ec3f7e7720a4a139a5dac89dedb4;hp=b4c641e4fc23ec3f7e7720a4a139a5dac89dedb4

bug fixed: saving in pdf-mode did not work
---