# HG changeset patch
# User diego
# Date 1277116550 0
# Node ID 815c9d5b23a71c44f7558afed4782b9ba783f134
# Parent  34a4ee2300795403593a8630c8b1f0b5fce7fcff
Ignore compiled headers.