From: Mark Thom <markjordanthom@gmail.com>
Date: Tue, 14 Dec 2021 02:09:20 +0000 (-0700)
Subject: Merge pull request #1142 from triska/s
X-Git-Tag: v0.9.0~6
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=43532e5322b721ead678d445bd32cb2e16d5ff20;p=scryer-prolog.git

Merge pull request #1142 from triska/s

report time with "s" instead of "seconds", in analogy to time(1)
---

43532e5322b721ead678d445bd32cb2e16d5ff20