From: Richard W.M. Jones <rich@annexia.org>
Date: Tue, 26 Aug 2008 08:25:42 +0000 (+0000)
Subject: Ignore *.so files.
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=ac505296f27fd72fd6deff0221fc5504145813f0;p=ocaml-bitstring.git

Ignore *.so files.
---