fix error

This commit is contained in:
Felix Suchert 2023-04-18 11:17:53 +02:00
parent 671074a196
commit 293afbccc7
Signed by: feliix42
GPG key ID: 24363525EA0E8A99

View file

@ -237,7 +237,7 @@
# provided by my own overlay # provided by my own overlay
mlir mlir
circt #circt
## I heard you like man pages? ## I heard you like man pages?
man-pages man-pages