diff make_tarball @ 97:a0304c86c5b3 dml-dockerised

added swipl update
author wolffd <wolffd.mail@googlemail.com>
date Mon, 18 Jun 2018 17:07:50 +0100
parents 2059c4f64feb
children
line wrap: on
line diff