Code

Fix up/update CONTRIBUTING#2201

Code

Open

sauclovian-g wants to merge 1 commit intomasterGaloisInc/saw-script:masterfrom fix-up-CONTRIBUTINGGaloisInc/saw-script:fix-up-CONTRIBUTINGCopy head branch name to clipboard

+1,256-412

Commits

Commits on Jan 28, 2025

• Update CONTRIBUTING to reflect the current state of affairs.

  Show description for b40b9c6
  sauclovian-g

  committed
  b40b9c6

  Copy full SHA for b40b9c6