On use, check if mergetool == nbdime and throw error in gitIntegration.ts. #48

Open

Assignees

opened

Give directions to unset it/uninstall as a pastable popup in terminal

Metadata

Assignees

Labels

No labels

No labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests