]> Repositorios git - scryer-prolog.git/commitdiff
Merge branch 'mediants' into mediants
authornotoria <[email protected]>
Wed, 29 Apr 2020 21:47:05 +0000 (23:47 +0200)
committerGitHub <[email protected]>
Wed, 29 Apr 2020 21:47:05 +0000 (23:47 +0200)

Trivial merge