docs: rename tendermint-core to system (#6515)

This commit is contained in:
Callum Waters
2021-05-31 17:02:00 +02:00
committed by GitHub
parent c0fcc5f6bb
commit e3d5a31d6e
9 changed files with 398 additions and 418 deletions
+1 -1
View File
@@ -2,7 +2,7 @@
order: 1
parent:
title: Tooling
order: 6
order: 8
---
# Overview