1
0
mirror of https://github.com/PDP-10/its.git synced 2026-01-13 23:36:30 +00:00
Adam Sampson 6198526639 Fix WEBSER build.
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.
2018-07-27 22:03:35 +01:00
..
2018-06-29 22:26:26 +02:00
2018-06-28 18:13:26 +02:00
2018-07-16 23:17:23 +02:00
2018-03-24 07:45:27 -07:00
2018-05-02 19:56:59 +02:00
2018-06-20 10:59:05 +02:00
2018-02-27 06:50:13 -08:00
2018-07-27 22:03:35 +01:00