On 14/07/2020 01:14, Grant Taylor via cctech wrote:
On 7/13/20 1:06 PM, Will Cooke via cctech wrote:
Does anyone have any suggestions as to where it should go for
safekeeping?
Some combination of Internet Archive, BitKeepers, and TUHS would be my
minimum recommendation.
As you say, it's small. It wouldn't be hard to hold on to.
As it's now known to be on github, then I'd suggest simply cloning the
existing repo. If the original ever goes away, then you can set up your
own repo (for free).
Antonio
--
Antonio Carlini
[email protected]
