diff 3rdpartylibs.sh @ 206:cd6ad5eaef8d

Renamed cmd/tokenserver to cmd/gemma.
author Sascha L. Teichmann <teichmann@intevation.de>
date Sun, 22 Jul 2018 10:40:17 +0200
parents 0116aae1071b
children 11d1a488b08f
line wrap: on
line diff