Repository navigation

Remove unused and commented-out code - #680

Merged

NSoiffer merged 3 commits into

moritz-gross:remove-unused-commented-out-code

Aug 15, 2026

Merged

Remove unused and commented-out code#680
NSoiffer merged 3 commits into
daisy:mainfrom
moritz-gross:remove-unused-commented-out-code

Commits on Aug 13, 2026
- Remove unused and commented-out code in `src/pretty_print.rs`.
  moritz-gross
  committed
  04f6a3d
- remove more dead sections
  moritz-gross
  committed
  927f7f3
- Merge branch 'main' into remove-unused-commented-out-code
  moritz-gross
  committed
  bf4c200