mirror of
https://github.com/tendermint/tendermint.git
synced 2026-07-21 07:22:20 +00:00
75345c2046
* Use an interface for tags. * rename TagSet to TagMap. * add documentation to TagMap.