diff scripts/build-luan.sh @ 1080:0d884377e923

eliminate other head
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 10 Nov 2016 21:37:04 -0700
parents 49cbf6ee529f
children f2eb8295033f
line wrap: on
line diff