Merge pull request #189 from jix/autotune_docs
authorJannis Harder <me@jix.one>
Thu, 30 Jun 2022 15:53:22 +0000 (17:53 +0200)
committerGitHub <noreply@github.com>
Thu, 30 Jun 2022 15:53:22 +0000 (17:53 +0200)
docs: add missing autotune.rst


Trivial merge