emacs/mps/manual/source/extensions
Gareth Rees a323d15e34 Use role :mps:tag: instead of directive mps🏷️:
Rename role :mps:label: as :mps:ref:

Copied from Perforce
 Change: 181128
 ServerID: perforce.ravenbrook.com
2013-03-12 17:26:04 +00:00
..
__init__.py Convert the "memory management glossary", the article "memory management in various languages", and some of the bibliography, from the memory management reference to restructuredtext. 2012-10-12 18:40:54 +01:00
mps.py Use role :mps:tag: instead of directive mps🏷️: 2013-03-12 17:26:04 +00:00