# HG changeset patch
# User cmlenz
# Date 1188462718 0
# Node ID 47c9c9ec204e11c31b37d665d3970884a3760f03
# Parent  80a9c247ca80e4b4cc673ce168d0d3363814e361
Use HTTPS-Link for svn:externals (see #143).