Code

Fix errors in debugger Sphinx docs#275

Code

Merged

NatKarmios merged 2 commits intomasterGillianPlatform/Gillian:masterfrom nat/debug-docs-oopsieGillianPlatform/Gillian:nat/debug-docs-oopsieCopy head branch name to clipboardDec 12, 2023

+2-1

Commits

Commits on Dec 11, 2023

• Fix errors in debugger Sphinx docs

  NatKarmios

  authored
  58b0618

  Copy full SHA for 58b0618

Commits on Dec 12, 2023

• Merge branch 'master' into nat/debug-docs-oopsie

  NatKarmios

  authored
  7b3377f

  Copy full SHA for 7b3377f