rename to pio_env

pull/616/head
Thomas Göttgens 2024-11-03 23:07:25 +01:00 zatwierdzone przez GitHub
rodzic 9f45c61bb7
commit b227a1ca72
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: B5690EEEBB952194
1 zmienionych plików z 1 dodań i 1 usunięć

Wyświetl plik

@ -1874,7 +1874,7 @@ message DeviceMetadata {
/*
* Device firmware environment string
*/
string hw_env = 12;
string pio_env = 12;
}
/*