diff banner.svg @ 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 a16df1ba5a43
children
line wrap: on
line diff