[DynInst_API:] [dyninst/dyninst] 344940: Use numbered headings for toolkits


Date: Thu, 28 Jul 2022 08:46:59 -0700
From: Tim Haines <noreply@xxxxxxxxxx>
Subject: [DynInst_API:] [dyninst/dyninst] 344940: Use numbered headings for toolkits
  Branch: refs/heads/thaines/sphinx_updates_round1
  Home:   https://github.com/dyninst/dyninst
  Commit: 3449403b100c26a83685e2317b999b89cfcf5b00
      https://github.com/dyninst/dyninst/commit/3449403b100c26a83685e2317b999b89cfcf5b00
  Author: Tim Haines <thaines.astro@xxxxxxxxx>
  Date:   2022-07-28 (Thu, 28 Jul 2022)

  Changed paths:
    M docs/index.rst

  Log Message:
  -----------
  Use numbered headings for toolkits


[← Prev in Thread] Current Thread [Next in Thread→]
  • [DynInst_API:] [dyninst/dyninst] 344940: Use numbered headings for toolkits, Tim Haines <=