Getting Started scripts - not all lines are removed #430

Open

Open

Getting Started scripts - not all lines are removed#430

opened

on Dec 10, 2022

resetSolutions.sh - comments not removed from chapter3, AddressBook.purs
removeAnchors.sh - anchors not removed from chapter2, chapter6 no-peeking/Solutions.purs

Win 10

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests