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