summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2016-01-19 12:32:36 +0100
committerAlexis Ballier <aballier@gentoo.org>2016-01-19 12:35:24 +0100
commit88ac56ef28f8adde9a97e41d4b7fdaf1d6a9537d (patch)
tree9d19e81aca4874e98f000d4c06c74148e59b9db4 /dev-ml/dose3/files
parentdev-ml/dose3: bump to 4.2 (diff)
downloadgentoo-88ac56ef28f8adde9a97e41d4b7fdaf1d6a9537d.tar.gz
gentoo-88ac56ef28f8adde9a97e41d4b7fdaf1d6a9537d.tar.bz2
gentoo-88ac56ef28f8adde9a97e41d4b7fdaf1d6a9537d.zip
dev-ml/dose3: remove old
Package-Manager: portage-2.2.27 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Diffstat (limited to 'dev-ml/dose3/files')
-rw-r--r--dev-ml/dose3/files/extlib.patch12
1 files changed, 0 insertions, 12 deletions
diff --git a/dev-ml/dose3/files/extlib.patch b/dev-ml/dose3/files/extlib.patch
deleted file mode 100644
index f4a16ded682a..000000000000
--- a/dev-ml/dose3/files/extlib.patch
+++ /dev/null
@@ -1,12 +0,0 @@
-Index: dose3-3.3/doseparse/stdOptions.ml
-===================================================================
---- dose3-3.3.orig/doseparse/stdOptions.ml
-+++ dose3-3.3/doseparse/stdOptions.ml
-@@ -20,6 +20,7 @@ include Util.Logging(struct let label =
- module type Ot = sig
- val options :
- ?usage:string ->
-+ ?status:int ->
- ?version:string ->
- ?suppress_usage:bool ->
- ?suppress_help:bool ->