mirror of
https://github.com/ellmau/adf-obdd.git
synced 2025-12-19 09:29:36 +01:00
Fix docs string
This commit is contained in:
parent
65de1298a6
commit
b38c64ab5f
@ -7,4 +7,4 @@ defaults:
|
||||
type = docs
|
||||
values:
|
||||
sidebar:
|
||||
nav: docs
|
||||
nav: "docs"
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user