diff mkCorr.sh @ 10:6df7b07f81c1

better explanation for optional name
author Ido Tamir <ido.tamir@imp.ac.at>
date Sun, 18 Aug 2013 18:10:48 +0200
parents 9abd178b46bd
children 5a4cbfb5fbc5
line wrap: on
line diff