comparison run.gui_sh @ 75:85b392e8ba87

Using Linux-specific workarounds for URI opening if Java can't do it
author Fox
date Sat, 07 Jan 2023 01:57:44 +0100
parents 4ee26d904fe3
children
comparison
equal deleted inserted replaced
74:1d37914defe0 75:85b392e8ba87