diff scripts/build_pd.sh @ 237:048b7a4dc841

Minor fixes
author Giulio Moro <giuliomoro@yahoo.it>
date Sun, 10 Apr 2016 12:23:36 +0200
parents 1721296e3e71
children
line wrap: on
line diff