j
k
j a
j l
On 20. Jul 2023, at 17:38, Hans Hagen wrote: patch in that file: local popen = io.popen
On 20. Jul 2023, at 17:38, Hans Hagen wrote:
patch in that file:
local popen = io.popen
Thank you, that fixes it! Thomas
Back to the thread
Back to the list
