outdated
authorJan Rękorajski <baggins@pld-linux.org>
Sat, 10 Dec 2005 01:45:56 +0000 (01:45 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
Changed files:
    coq-ocaml-3.07.patch -> 1.2

coq-ocaml-3.07.patch [deleted file]

diff --git a/coq-ocaml-3.07.patch b/coq-ocaml-3.07.patch
deleted file mode 100644 (file)
index eb1da20..0000000
+++ /dev/null
@@ -1,13 +0,0 @@
-Index: parsing/pcoq.ml4
-*** parsing/pcoq.ml4   2002/12/15 12:10:18     1.57
---- parsing/pcoq.ml4   2003/10/07 14:49:25
-***************
-*** 108,113 ****
---- 108,114 ----
-      type parsable = G.parsable
-      let parsable = G.parsable
-      let tokens = G.tokens
-+     let glexer = G.glexer
-      module Entry = G.Entry
-      module Unsafe = G.Unsafe
-  
This page took 0.050777 seconds and 4 git commands to generate.