Mercurial Hosting > junotu
diff 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 |
author | Fox |
---|---|
date | Sat, 07 Jan 2023 01:57:44 +0100 |
parents | 4ee26d904fe3 |
children |