Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on May 27, 2020

• Remove 'jediEnabled' in favor of `languageServer` (#11834)

  Show description for da5ed9d
  

  Mikhail Arkhipov

  and

  ericsnowcurrently

  authored
  da5ed9d

  Copy full SHA for da5ed9d

Commits on Aug 27, 2019

• Revert "#7010: Replaced 'python.enableJedi' setting with 'python.languageServ…" (#7118)

  Show description for b996f7a
  

  Kartik Raj

  authored
  b996f7a

  Copy full SHA for b996f7a

Commits on Aug 22, 2019

• #7010: Replaced 'python.enableJedi' setting with 'python.languageServ… (#7011)

  Show description for 70a866c
  

  erictraut

  authored and

  Kartik Raj

  committed
  70a866c

  Copy full SHA for 70a866c

Commits on Jun 5, 2018

• Add Tests to measure activation times of extension (#1813)

  Show description for 89e6216
  DonJayamanne

  authored
  89e6216

  Copy full SHA for 89e6216

Loading