From: Jan Rękorajski <baggins@pld-linux.org>
Date: Sat, 10 Dec 2005 01:46:59 +0000 (+0000)
Subject: - fix building with lablgtk2 2.6
X-Git-Tag: auto/ac/coq-8_0pl2-2
X-Git-Url: http://git.pld-linux.org/?p=packages%2Fcoq.git;a=commitdiff_plain;h=38cacf124fb3e6c6129a33ff086d354e99dc6d4f;hp=38cacf124fb3e6c6129a33ff086d354e99dc6d4f

- fix building with lablgtk2 2.6

Changed files:
    coq-lablgtk26.patch -> 1.1
---