annotate profiles/repo_name @ 538:7a5328bf4352

vscodium update
author Dirk Olmes <dirk.olmes@codedo.de>
date Fri, 16 Oct 2020 08:23:30 +0200
parents 1d5589cb15a6
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
213
1d5589cb15a6 change repo name
holger
parents: 44
diff changeset
1 local