Merge pull request #4242 from MichaelEischer/fix-mixed-index-in-design-docs

doc: Remove mixed pack files from index example
This commit is contained in:
Michael Eischer 2023-03-12 11:24:21 +01:00 committed by GitHub
commit 153a73ebba
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -276,7 +276,7 @@ of a JSON document like the following:
},
{
"id": "9ccb846e60d90d4eb915848add7aa7ea1e4bbabfc60e573db9f7bfb2789afbae",
"type": "tree",
"type": "data",
"offset": 38,
"length": 112,
"uncompressed_length": 511,