mirrors/tendermint
1
0
Fork 0
mirror of https://github.com/tendermint/tendermint.git synced 2026-09-19 22:44:24 +00:00
Code Issues Packages Projects Releases Wiki Activity

proto: rename timing params to synchrony params (#7554)

Browse Source
This commit is contained in:
William Banfield
2022-01-14 19:52:12 -05:00
committed by William Banfield
parent 8eec8447e8
commit 9f52d9fbd7
11 changed files with 123 additions and 122 deletions
Download Patch File Download Diff File Expand all files Collapse all files
third_party/proto/gogoproto/gogo.proto
Vendored
+1 -1
View File
@@ -144,4 +144,4 @@ extend google.protobuf.FieldOptions {
optional bool wktpointer = 65012;
optional string castrepeated = 65013;
}
}