# HG changeset patch
# User diego
# Date 1199620637 0
# Node ID de13489d7475a1ca88baa0f97aadd73a3f1617e4
# Parent  62959db3a5042b48a90ad6e768d2e27f6e6f2027
Ignore test programs.