diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-03-09 12:02:14 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-03-09 12:02:14 +0000 |
commit | 0fd62365fc104d7e6d5f3ef67800df09225a4019 (patch) | |
tree | 163b4a5055e07325ae1dc4f9bbbc2021ca1b6afa /dev-ml/labltk/files/labltk-8.06.12-shuffle.patch | |
parent | 442eaf1780a48ddbd7a39f5a3f34d959c3c6d27e (diff) |
gentoo auto-resync : 09:03:2023 - 12:02:14
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 | 15 |
1 files changed, 15 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 005c7264a8b4..482b18370ad6 100644 --- a/dev-ml/labltk/files/labltk-8.06.12-shuffle.patch +++ b/dev-ml/labltk/files/labltk-8.06.12-shuffle.patch @@ -19,3 +19,18 @@ + +shell.cmo : dummy.cmo +shell.cmx : dummy.cmx +--- a/browser/.depend 2023-03-09 11:54:40.849960961 +0100 ++++ b/browser/.depend 2023-03-09 11:55:21.041342177 +0100 +@@ -117,10 +117,12 @@ + shell.cmo : ../labltk/winfo.cmi ../labltk/toplevel.cmi ../labltk/tk.cmo \ + ../support/timer.cmi ../labltk/text.cmi ../labltk/menu.cmi list2.cmo \ + lexical.cmi jg_toplevel.cmo jg_tk.cmo jg_text.cmi jg_message.cmi \ ++ dummy.cmo \ + jg_menu.cmo jg_memo.cmi fileselect.cmi ../support/fileevent.cmi shell.cmi + shell.cmx : ../labltk/winfo.cmx ../labltk/toplevel.cmx ../labltk/tk.cmx \ + ../support/timer.cmx ../labltk/text.cmx ../labltk/menu.cmx list2.cmx \ + lexical.cmx jg_toplevel.cmx jg_tk.cmx jg_text.cmx jg_message.cmx \ ++ dummy.cmx \ + jg_menu.cmx jg_memo.cmx fileselect.cmx ../support/fileevent.cmx shell.cmi + typecheck.cmo : ../labltk/tk.cmo ../labltk/text.cmi mytypes.cmi jg_tk.cmo \ + jg_text.cmi jg_message.cmi typecheck.cmi |