manual_toc.html\Docs - delta/mariadb-git.git - github.com: MariaDB/server.git

index : delta/mariadb-git.git

github.com: MariaDB/server.git

summary refs log tree commit diff

path: root/Docs/manual_toc.html

blob: b9014e5efb9396e92001c1c2900af37032d80c24 (plain)

<html>
<head>
<title>Place holder for manual_toc.html</title>
</head>
<body>
This is just a place holder for the autogenerated manual_toc.html
to make "make dist" happy.
</body>
</html>