aboutsummaryrefslogtreecommitdiff
path: root/docs/defs.rst.inc
AgeCommit message (Expand)AuthorFilesLines
2020-03-06docs/system: convert Texinfo documentation to rSTPaolo Bonzini1-4/+8
2020-03-06docs: Create defs.rst.inc as a place to define substitutionsPeter Maydell1-0/+11