Mercurial > dottes
diff makeHornInF.sh @ 1047:4cfee227da93 build-default-378
Fix notation error.
author | Jim Hague <jim.hague@acm.org> |
---|---|
date | Sun, 12 Apr 2020 14:43:22 +0100 |
parents | 18f0e45207ef |
children |
author | Jim Hague <jim.hague@acm.org> |
---|---|
date | Sun, 12 Apr 2020 14:43:22 +0100 |
parents | 18f0e45207ef |
children |