diff scripts/build-luan.sh @ 1321:307e76ccd0d6

generalize separate logging
author Franklin Schmidt <fschmidt@gmail.com>
date Tue, 05 Feb 2019 22:36:55 -0700
parents 040c98e1f837
children 04482e2a6ca3
line wrap: on
line diff