HomeSoftware Heritage

2022-09-11: Rename org source appropriately

This commit has been deleted in the repository: it is no longer reachable from any branch, tag, or ref.

Description

2022-09-11: Rename org source appropriately

Details

Provenance
ardumontAuthored on Sep 14 2022, 4:19 PM
ardumontPushed on Sep 14 2022, 4:40 PM
Parents
rMSLDc4a237cb6662: 2022-09-11: Add thanks note and basic copyright slide
Branches
Unknown
Tags
Unknown