14 Jul
2020
14 Jul
'20
2:42 a.m.
On 14/07/2020 01:14, Grant Taylor via cctech wrote:
On 7/13/20 1:06 PM, Will Cooke via cctech wrote:
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
antonio at acarlini.com
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.