aboutsummaryrefslogtreecommitdiff
path: root/doc/sphinx/coq-optindex.rst
blob: 0961bea61fc9db699fbc03719dc3d82ddd8f6b51 (plain)
1
2
3
4
5
6
7
:orphan:

.. hack to get index in TOC

-------------------------------
Flags, options and tables index
-------------------------------