HomeSoftware Heritage

2022-09-16: Improve slide titles

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

Description

2022-09-16: Improve slide titles

Details

Provenance
ardumontAuthored on Sep 15 2022, 3:26 PM
ardumontPushed on Sep 15 2022, 3:26 PM
Parents
rMSLD4258a0d48b46: 2022-09-16: Adapt according to moranegg's feedback
Branches
Unknown
Tags
Unknown