Am Do., 23. Apr. 2020 um 17:29 Uhr schrieb Paolo Prete <paolopr...@gmail.com>: > > Thank you Harm, > > it would be great if we can track this. Unfortunately Google seems to index > only the previous version of your code. > What about a repository for snippets for 2.19? > > best, > P
I think it works with 2.18.2 (probably with small adjustments), at least the earlier version did so. Therefore it's on my TODO-list to update http://lsr.di.unimi.it/LSR/Item?id=1099 with the newer version. Alas, I'm tired as hell, needs to wait for tomorrow or the weekend... Cheers, Harm
