]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #630 from triska/delete_file
authorMark Thom <[email protected]>
Tue, 14 Jul 2020 23:26:51 +0000 (20:26 -0300)
committerGitHub <[email protected]>
Tue, 14 Jul 2020 23:26:51 +0000 (20:26 -0300)
ADDED: delete_file/1, addressing a remaining aspect of #511


Trivial merge