Index of /dee/echo

Name                    Last modified      Size  Description
Parent Directory                             -   
SHA256                  2017-10-04 18:06  146   
echo                    2017-10-04 18:05  109K  64-bit Linux binary
echo.exe                2016-09-23 18:28   32K  64-bit Windows binary
echo.m2                 2017-10-04 18:04  1.5K  Standard Modula-2 source