]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #2264 from Skgland/fix-os-argv-1
authorMark Thom <[email protected]>
Sat, 6 Jan 2024 22:52:53 +0000 (15:52 -0700)
committerGitHub <[email protected]>
Sat, 6 Jan 2024 22:52:53 +0000 (15:52 -0700)
Fix os:argv/1 in case the raw args contain multiple `--`

1  2 
src/lib/os.pl

diff --cc src/lib/os.pl
Simple merge