chore: remove obviated manual INSTALL instructions#8355
Merged
rjsparks merged 1 commit intoietf-tools:mainfrom rjsparks:party_like_its_19←←2024Dec 20, 2024
Hidden character warning
The head ref may contain hidden characters: "party_like_its_19\u2190\u21902024"
-157
