From 89a33360f14bdcd211a478adc5feab85ca10a373 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Arkadiusz=20Mi=C5=9Bkiewicz?= <arekm@maven.pl>
Date: Sun, 5 Jul 2009 17:15:55 +0000
Subject: [PATCH] - drop obsolete files

Changed files:
    coq-ocaml-3.09.patch -> 1.2
---
 coq-ocaml-3.09.patch | 27 ---------------------------
 1 file changed, 27 deletions(-)
 delete mode 100644 coq-ocaml-3.09.patch

diff --git a/coq-ocaml-3.09.patch b/coq-ocaml-3.09.patch
deleted file mode 100644
index 38d29e6..0000000
--- a/coq-ocaml-3.09.patch
+++ /dev/null
@@ -1,27 +0,0 @@
-*** Makefile	2005/02/01 15:38:09
---- Makefile	2005/11/04 00:46:57
-***************
-*** 1453,1463 ****
-  
-  .ml4.cmx:
-  	$(SHOW)'OCAMLOPT4 $<'
-! 	$(HIDE)$(OCAMLOPT) $(OPTFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -impl" -c -impl $<
-  
-  .ml4.cmo:
-  	$(SHOW)'OCAMLC4   $<'
-! 	$(HIDE)$(OCAMLC) $(BYTEFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -impl" -c -impl $<
-  
-  #.v.vo:
-  #	$(BOOTCOQTOP) -compile $*
---- 1453,1463 ----
-  
-  .ml4.cmx:
-  	$(SHOW)'OCAMLOPT4 $<'
-! 	$(HIDE)$(OCAMLOPT) $(OPTFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -loc loc -impl" -c -impl $<
-  
-  .ml4.cmo:
-  	$(SHOW)'OCAMLC4   $<'
-! 	$(HIDE)$(OCAMLC) $(BYTEFLAGS) -pp "$(CAMLP4O) $(CAMLP4EXTENDFLAGS) `$(CAMLP4DEPS) $<` -loc loc -impl" -c -impl $<
-  
-  #.v.vo:
-  #	$(BOOTCOQTOP) -compile $*
-- 
2.43.0