diff sat/stdui/ui_profile_manager.py @ 3774:df836d6f9c8a

doc (installation): fix missing `hg clone` instructions
author Goffi <goffi@goffi.org>
date Sat, 14 May 2022 22:35:39 +0200
parents be6d91572633
children 524856bd7b19
line wrap: on
line diff