Ignore old changelog
This commit is contained in:
1 parent
2bf811b1d9
commit
e845fc572e
1 file changed
+2
@@ -40,6 +40,8 @@ nav:
|
|||||||
- API: api.md
|
- API: api.md
|
||||||
- Syntax: syntax.md
|
- Syntax: syntax.md
|
||||||
|
|
||||||
|
exclude_docs: ChangeLog-old.md
|
||||||
|
|
||||||
extra:
|
extra:
|
||||||
version:
|
version:
|
||||||
provider: mike
|
provider: mike
|
||||||
Reference in new issue
Block a user