New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Support diff mode #593

Merged

maximedenes merged 1 commit into main from diff-mode

Aug 24, 2023

Member

maximedenes commented Aug 24, 2023

Closes #538

maximedenes force-pushed the diff-mode branch 2 times, most recently from c000194 to 7912cb2 Compare

August 24, 2023 12:42


          Support diff mode

8920e52

Closes #538

maximedenes force-pushed the diff-mode branch from 7912cb2 to 8920e52 Compare

August 24, 2023 13:13

maximedenes merged commit ec36efb into main

maximedenes deleted the diff-mode branch

August 24, 2023 14:14

maximedenes mentioned this pull request

bodies of context variables should be visible by default #596

Closed

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet