comparison docs/test.html @ 193:76d2dda8d4de

update URLs for changed server names.
author Robert Casties <casties@mpiwg-berlin.mpg.de>
date Wed, 05 Dec 2018 18:48:23 +0100
parents ded3bccf2cf9
children
comparison
equal deleted inserted replaced
192:3fdd5e191d30 193:76d2dda8d4de