[coq] Remove unused patch.

Jerry James jjames at fedoraproject.org
Thu Oct 27 22:34:43 UTC 2011 

commit 8b347138e71c2ef966a92decc4cc1be392f0a44f
Author: Jerry James <loganjerry at gmail.com>
Date:   Thu Oct 27 16:34:02 2011 -0600

    Remove unused patch.

 coq-camlp5-bug.patch |   18 ------------------
 1 files changed, 0 insertions(+), 18 deletions(-)

More information about the scm-commits mailing list