# HG changeset patch
# User diego
# Date 1159998035 0
# Node ID c9e717a117d376fa4c251f580063656fbf836202
# Parent  86e8c0a2711d2d3a0119d1ff35f3eb3b30bd8208
Also ignore shared libraries.