# FIXME: The git server does not seem to support this
version=4

opts="mode=git, pretty=5.0+git%cd.%h" \
  http://www.math.lmu.de/~minlogit/git/minlog.git HEAD
