diff etc/setup_as_root.sh @ 107:ee91974287d6 dml-dockerised tip

testing newest swi-prolog version
author wolffd <wolffd.mail@googlemail.com>
date Tue, 21 Aug 2018 18:37:33 +0100
parents c063a320d14f
children
line wrap: on
line diff