Liamsi 96a3502126 delete everything

2018-06-20 15:19:08 -07:00

.circleci

Merge pull request #1757 from tendermint/bucky/update-spec

2018-06-16 13:03:00 -07:00

.github

add xla as codeowner

2018-06-14 17:04:45 -07:00

.editorconfig

merge 2 rules in .editorconfig

2017-12-04 15:01:28 -06:00

.gitignore

moar fixes

2018-06-07 09:41:57 -04:00

S

Description

No description provided

Apache-2.0

396 MiB

Languages

Go 85.9%

TeX 7.2%

TLA 4.9%

Shell 0.6%

Python 0.5%

Other 0.8%