Skip to content

Commit

Permalink
[doc] fix headline
Browse files Browse the repository at this point in the history
  • Loading branch information
@lukasjuhrich
lukasjuhrich committed Jan 6, 2023
1 parent ab45c36 commit ec42b3e
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion doc/guides/setup.rst
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@ Minimal setup
=============

Using Docker
------
------------
The full dev-setup requires docker.

Follow the following guides:
Expand Down

0 comments on commit ec42b3e

Please sign in to comment.