Code

Improve publishing Nuget properties#3488

Code

Merged

mtzguido merged 1 commit intoFStarLang:masterFStarLang/FStar:masterfrom kant2002:kant/ulibfs-nugetkant2002/FStar:kant/ulibfs-nugetCopy head branch name to clipboardSep 30, 2024

+16

Commits

Commits on Sep 30, 2024

• Improve publishing Nuget properties

  Show description for 39b83dc
  

  kant2002

  authored and

  mtzguido

  committed
  39b83dc

  Copy full SHA for 39b83dc