diff src/swipl/build @ 90:8f8e3d39ea31 dml-dockerised

make all
author wolffd <wolffd.mail@googlemail.com>
date Tue, 05 Jun 2018 16:57:34 +0100
parents 11e07aa6ffae
children
line wrap: on
line diff