mirror of
https://github.com/PDP-10/its.git
synced 2026-03-06 11:23:32 +00:00
Fix "make download" link.
This commit is contained in:
committed by
Lars Brinkhoff
parent
870ce65b6e
commit
d488541b17