fix repl for #lang sugar/debug in old expander #10

Merged
AlexKnauth merged 1 commits from fix-debug-repl into master 9 years ago
AlexKnauth commented 9 years ago (Migrated from github.com)
fixes https://github.com/mbutterick/sugar/issues/9
mbutterick commented 9 years ago (Migrated from github.com)

Right on

Right on
The pull request has been merged as 46b3b90f83.
You can also view command line instructions.

Step 1:

From your project repository, check out a new branch and test the changes.
git checkout -b fix-debug-repl master
git pull origin fix-debug-repl

Step 2:

Merge the changes and update on Gitea.
git checkout master
git merge --no-ff fix-debug-repl
git push origin master
Sign in to join this conversation.
No reviewers
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: mbutterick/sugar#10
Loading…
There is no content yet.