On Sat, 30 Mar 2019, Hilmar Preuße wrote: > Dumb question: how do I use that file? It's the dump of the svn server files. One needs to start an svn server with this dir as data directory. Norbert -- PREINING Norbert http://www.preining.info Accelia Inc. + JAIST + TeX Live + Debian Developer GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13