Code

Prepare release 2.1.0#720

Code

Merged

rtetley merged 2 commits intomaincoq/vscoq:mainfrom bump-versioncoq/vscoq:bump-versionCopy head branch name to clipboardFeb 12, 2024

+8-6

Commits

Commits on Feb 8, 2024

• Prepare release 2.1.0

  Show description for a433353
  rtetley

  committed
  a433353

  Copy full SHA for a433353

Commits on Feb 12, 2024

• Adding version control in client

  rtetley

  committed
  a668044

  Copy full SHA for a668044