<html><head></head><body>Hi,<br><br>I second the suggestion by Thomas.<br><br>I had the pleasure to use it. For me it was working will.<br><br>Wouldn't it be nice to have this available via the RKWard git tool you have developed?<br><br>Kind regards<br>Stefan <br><br><div class="gmail_quote">On October 30, 2018 5:54:43 AM UTC, Thomas Friedrichsmeier <thomas.friedrichsmeier@ruhr-uni-bochum.de> wrote:<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<pre class="k9mail">Hi,<br><br>On Wed, 24 Oct 2018 21:04:18 +0200<br>meik michalke <meik.michalke@uni-duesseldorf.de> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 1ex 0.8ex; border-left: 1px solid #729fcf; padding-left: 1ex;">did you have the chance to have a look at the most recent version of<br>the export plugin?<br></blockquote><br>sorry, I delayed this, and now the seafile link has expired.<br><br>But why don't you just add it to our git repo. It's not like we cannot<br>apply any further tweaks once it's in. It's clearly something we want<br>to have in the main distribution.<br><br>Regards<br>Thomas<br><br></pre></blockquote></div></body></html>