mirror of
https://github.com/PDP-10/its.git
synced 2026-04-19 01:18:29 +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.
4.8 KiB
4.8 KiB