diff configure @ 13671:c565c188dbac

Added tag v8.0.1707 for changeset 3085d67d24c8e17b0b17bc7c8ff3185617affc04
author Christian Brabandt <cb@256bit.org>
date Fri, 13 Apr 2018 22:30:09 +0200
parents cd9471bd8e9e
children a1ca6778da49
line wrap: on
line diff