From: Mark Thom Date: Fri, 3 Apr 2020 03:35:51 +0000 (-0300) Subject: Merge pull request #306 from srenatus/sr/version-argument X-Git-Tag: v0.8.119~25^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=8f11fd7c62b1931f4e404bd454a14f28a46e3f0c;p=scryer-prolog.git Merge pull request #306 from srenatus/sr/version-argument main: add -v/--version flag --- 8f11fd7c62b1931f4e404bd454a14f28a46e3f0c