]> Repositorios git - scryer-prolog.git/commitdiff
Merge branch 'master' into library-use-case
authorNicolas Luck <[email protected]>
Fri, 9 Feb 2024 11:41:01 +0000 (12:41 +0100)
committerNicolas Luck <[email protected]>
Fri, 9 Feb 2024 11:41:01 +0000 (12:41 +0100)

Trivial merge