diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-01-26 01:54:54 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-01-26 01:54:54 +0000 |
| commit | 79de60c14eee653ca1a344ce0f850edc088f1bc8 (patch) | |
| tree | 0f2b6a5f9ab9f9a7a92396e477eaa42b3bd8eacd /dev-ml/labltk/files/labltk-8.06.12-shuffle.patch | |
| parent | 95985714240f6993f90c5096f2dac642d5d42928 (diff) | |
gentoo auto-resync : 26:01:2023 - 01:54:54
Diffstat (limited to 'dev-ml/labltk/files/labltk-8.06.12-shuffle.patch')
| -rw-r--r-- | dev-ml/labltk/files/labltk-8.06.12-shuffle.patch | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/dev-ml/labltk/files/labltk-8.06.12-shuffle.patch b/dev-ml/labltk/files/labltk-8.06.12-shuffle.patch index 7d5c94356c5c..005c7264a8b4 100644 --- a/dev-ml/labltk/files/labltk-8.06.12-shuffle.patch +++ b/dev-ml/labltk/files/labltk-8.06.12-shuffle.patch @@ -10,3 +10,12 @@ depend: parser.ml parser.mli lexer.ml pplex.ml ppyac.ml ppyac.mli $(CAMLDEP) *.mli *.ml > .depend +--- a/browser/Makefile 2023-01-25 22:29:40.784044151 +0100 ++++ b/browser/Makefile 2023-01-25 22:29:56.579838693 +0100 +@@ -18,3 +18,6 @@ + + dummy.ml: + cp dummyUnix.ml dummy.ml ++ ++shell.cmo : dummy.cmo ++shell.cmx : dummy.cmx |