diff options
Diffstat (limited to 'devel/ocamlweb/files')
| -rw-r--r-- | devel/ocamlweb/files/patch-ocaml-parser__terminfo.ml (renamed from devel/ocamlweb/files/patch-ocaml-parser::terminfo.ml) | 0 | ||||
| -rw-r--r-- | devel/ocamlweb/files/patch-ocaml-parser__terminfo.mli (renamed from devel/ocamlweb/files/patch-ocaml-parser::terminfo.mli) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/devel/ocamlweb/files/patch-ocaml-parser::terminfo.ml b/devel/ocamlweb/files/patch-ocaml-parser__terminfo.ml index 6f25a47e0c06..6f25a47e0c06 100644 --- a/devel/ocamlweb/files/patch-ocaml-parser::terminfo.ml +++ b/devel/ocamlweb/files/patch-ocaml-parser__terminfo.ml diff --git a/devel/ocamlweb/files/patch-ocaml-parser::terminfo.mli b/devel/ocamlweb/files/patch-ocaml-parser__terminfo.mli index 6b6796a10b10..6b6796a10b10 100644 --- a/devel/ocamlweb/files/patch-ocaml-parser::terminfo.mli +++ b/devel/ocamlweb/files/patch-ocaml-parser__terminfo.mli |