diff makeAll.sh @ 656:604955638cd6

Fix first attempt at redirect, and fix rename note.
author Jim Hague <jim.hague@acm.org>
date Tue, 22 Nov 2016 00:01:10 +0000
parents 614b91409c85
children 2f6e05d0aba0
line wrap: on
line diff