mirror of
https://github.com/PDP-10/its.git
synced 2026-03-09 12:30:45 +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