diff makeHornInF.sh @ 936:037724386f8a build-default-342

And dial back on the exclamation marks.
author Jim Hague <jim.hague@acm.org>
date Sun, 04 Aug 2019 15:10:53 +0100 (2019-08-04)
parents 1a838d8dca2a
children 18f0e45207ef
line wrap: on
line diff