Code

schema destructors#40

Code

Merged

tewaro merged 2 commits intomasterutcs-scea/Galois:masterfrom AdityaAtulTewari/schema-destructutcs-scea/Galois:AdityaAtulTewari/schema-destructCopy head branch name to clipboardApr 16, 2024

+3-1

Commits

Commits on Apr 15, 2024

• schema destructors

  tewaro

  committed
  852605b

  Copy full SHA for 852605b

Commits on Apr 16, 2024

• fixup! schema destructors

  meyerzinn

  committed
  89844b9

  Copy full SHA for 89844b9