From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 6 Jan 2024 22:52:53 +0000 (-0700)
Subject: Merge pull request #2264 from Skgland/fix-os-argv-1
X-Git-Tag: v0.9.4~40
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=92b85d4ba607877f5562633435c8e583eb54fdcc;p=scryer-prolog.git

Merge pull request #2264 from Skgland/fix-os-argv-1

Fix os:argv/1 in case the raw args contain multiple `--`
---

92b85d4ba607877f5562633435c8e583eb54fdcc