doc/substitutions.aux
author Dmitriy Morozov <dmitriy@mrzv.org>
Tue, 27 Jun 2017 09:37:05 -0700
changeset 285 d9a79a28e3cc
parent 134 c270826fd4a8
permissions -rw-r--r--
Merge dev into default, to avoid the need for 'hg up tip' after clone

.. |cpp-only|   replace:: :sup:`(C++ only)`