# HG changeset patch
# User cmlenz
# Date 1188462718 0
# Node ID 4fefe77c332a8f8818de6b390431d8c97688a0b0
# Parent  8ada29c99c0d1e8980eeb9afac325739303533f8
Use HTTPS-Link for svn:externals (see #143).