Skip to content
This repository has been archived by the owner on Dec 8, 2020. It is now read-only.

Allow developers on Windows specify what kind of integrated terminal they use #315

Merged
merged 4 commits into from
Jul 19, 2017

Conversation

KalitaAlexey
Copy link
Member

@KalitaAlexey KalitaAlexey commented Jul 4, 2017

Fixes #289
Fixed #286
Causes #316
#316 is to be fixed later.
I'm doing it because fixing that require much time (a lot of things must be considered).
The workaround described in #316 enables developers to use it now.

@KalitaAlexey
Copy link
Member Author

I expect everyone who wanted it to check it before I will merge PR.

@KalitaAlexey KalitaAlexey merged commit ef0dc49 into master Jul 19, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
1 participant