mirror of
https://github.com/PDP-10/its.git
synced 2026-05-03 06:39:17 +00:00
Add HACK; to sources.tape, and add a missing \r to the build command. I've also increased the timeout for MAKE WEBSER to be consistent with what we've done for MUDDLE XFILE; since it's only a single MIDAS invocation at the moment this shouldn't really be necessary.
27 KiB
27 KiB