comparison package.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 11bf54badc99
children 0d4e996a5d99
comparison
equal deleted inserted replaced
74:1d37914defe0 75:85b392e8ba87