Merge PR #2434: config.js

2018-10-03 20:09:35 +02:00
parent f8cc0af144
commit a4690bbe58
1 changed files with 2 additions and 2 deletions
@@ -15,8 +15,8 @@ module.exports = {
        collapsable: false,
        children: [
          "/introduction/cosmos-hub",
-          "/introduction/tendermint-cosmos"
-          "/introduction/tendermint",
+          "/introduction/tendermint-cosmos",
+          "/introduction/tendermint"
        ]
      },
      {