]> Repositorios git - scryer-prolog.git/commitdiff
Merge branch 'master' into library-use-case
authorNicolas Luck <[email protected]>
Mon, 4 Dec 2023 19:06:14 +0000 (20:06 +0100)
committerNicolas Luck <[email protected]>
Mon, 4 Dec 2023 19:06:14 +0000 (20:06 +0100)
1  2 
src/machine/lib_machine.rs

Simple merge