diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-02-26 07:44:50 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-26 07:44:50 +0100 |
| commit | 1f702e35d8b6495c23ff03619c9ebe4d276f4d41 (patch) | |
| tree | 5d25a863b0189ab7fd1bae80a47fc25b5dbed408 /doc/translations | |
| parent | 94f78f276b530d2ff0ed6735b346bb726cfb1e15 (diff) | |
| parent | 42f6d7a4016709ba86da5b2674a95401981a771a (diff) | |
Merge pull request #46430 from kuruk-mm/fix_profile_type
SCons: Fix profile type. It is a string
Diffstat (limited to 'doc/translations')
0 files changed, 0 insertions, 0 deletions