tree 48da87cc4e2698f9e89ebad544bde29cb1461dd7
parent 20b95850d84373133774c7d5df2fbb3c72a6b9dc
author Hector Dearman <hjd@google.com> 1657532237 +0100
committer Hector Dearman <hjd@google.com> 1657532237 +0100

protos: Fix shell_config.proto

Change-Id: I32d21c60ea38e075df7756b813b88ae2ed29d653