]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1774 from infogulch/master
authorMark Thom <[email protected]>
Sun, 2 Apr 2023 17:24:36 +0000 (19:24 +0200)
committerGitHub <[email protected]>
Sun, 2 Apr 2023 17:24:36 +0000 (19:24 +0200)
Optimize Test GH action


Trivial merge