# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1264900875 18000
# Node ID 44152f712037a3fc8a010a033d5908aec3d013c8
# Parent  f6cb1cb2d7a8dd0c885d00bd0b5851a274c2d5f4
Remove unneeded lib/c directory