SOURCES: coq-lablgtk26.patch (REMOVED) outdated

[baggins]

Author: baggins                      Date: Mon Feb 16 13:06:15 2009 GMT
Module: SOURCES                       Tag: HEAD
---- Log message:
outdated

---- Files affected:
SOURCES:
   coq-lablgtk26.patch (1.1 -> NONE)  (REMOVED)

---- Diffs:
================================================================