##// END OF EJS Templates
Merge pull request #7066 from osadalakmal/master...
Merge pull request #7066 from osadalakmal/master Refresh terminal list. closes #7018 .
Matthias Bussonnier -
r19111:e9c0f45f merge
Show More