]> Repositorios git - scryer-prolog.git/commitdiff
Merge branch 'master' into library-use-case
authorNicolas Luck <[email protected]>
Mon, 7 Aug 2023 14:42:48 +0000 (16:42 +0200)
committerNicolas Luck <[email protected]>
Mon, 7 Aug 2023 14:42:48 +0000 (16:42 +0200)

Trivial merge