Code

Subgoals via subsections#192

Code

Merged

nikomatsakis merged 3 commits intorust-lang:mainrust-lang/rust-project-goals:mainfrom nikomatsakis:task-subsectionsnikomatsakis/rust-project-goals-ndm:task-subsectionsCopy head branch name to clipboardDec 16, 2024

+749-572

Commits

Commits on Dec 16, 2024

• track the indentation level for section headers

  

  Niko Matsakis

  committed
  7b77f9b

  Copy full SHA for 7b77f9b

• rework to flat lists of goals

  

  Niko Matsakis

  committed
  3c3006b

  Copy full SHA for 3c3006b

• rename to Task, update TEMPLATE

  

  Niko Matsakis

  committed
  1290374

  Copy full SHA for 1290374