Skip to content

Commit

Permalink
Fix doc merge issue (#4954)
Browse files Browse the repository at this point in the history
Not sure why we didn't catch that in ci, might only be checking that in
pr tools which is not optional
  • Loading branch information
timotheeguerin authored Nov 2, 2024
1 parent 597d794 commit b2e04a5
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 4 deletions.
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
---
title: "Data types"
toc_min_heading_level: 2
toc_max_heading_level: 3
---

## TypeSpec.Http
Expand Down
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
---
title: "Linter usage"
toc_min_heading_level: 2
toc_max_heading_level: 3
---

## Usage
Expand Down

0 comments on commit b2e04a5

Please sign in to comment.