Hi, I second the suggestion by Thomas.
I had the pleasure to use it. For me it was working will. Wouldn't it be nice to have this available via the RKWard git tool you have developed? Kind regards Stefan On October 30, 2018 5:54:43 AM UTC, Thomas Friedrichsmeier <thomas.friedrichsme...@ruhr-uni-bochum.de> wrote: >Hi, > >On Wed, 24 Oct 2018 21:04:18 +0200 >meik michalke <meik.micha...@uni-duesseldorf.de> wrote: >> did you have the chance to have a look at the most recent version of >> the export plugin? > >sorry, I delayed this, and now the seafile link has expired. > >But why don't you just add it to our git repo. It's not like we cannot >apply any further tweaks once it's in. It's clearly something we want >to have in the main distribution. > >Regards >Thomas
