diff tools/verify-all-heads.sh @ 852:8a226f0f99aa

Include documentation in tarballs (fixes #317).
author Dirkjan Ochtman <dirkjan@ochtman.nl>
date Thu, 01 Mar 2012 13:28:18 +0100
parents 11c4c7242a36
children
line wrap: on
line diff