diff options
Diffstat (limited to 'dev-ml/dose3/files/extlib.patch')
| -rw-r--r-- | dev-ml/dose3/files/extlib.patch | 12 |
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 -> |