Skip to content

Commit 12f4140

Browse files
rishav-karanjitrishav-karanjit
committed
rm patches
1 parent 3f2b549 commit 12f4140

File tree

4 files changed

+0
-96
lines changed

4 files changed

+0
-96
lines changed

‎DynamoDbEncryption/codegen-patches/DynamoDbEncryption/dotnet/dafny-4.9.0.patch

Lines changed: 0 additions & 51 deletions
This file was deleted.

‎DynamoDbEncryption/codegen-patches/DynamoDbEncryptionTransforms/dotnet/dafny-4.9.0.patch

Lines changed: 0 additions & 15 deletions
This file was deleted.

‎DynamoDbEncryption/codegen-patches/DynamoDbItemEncryptor/dotnet/dafny-4.9.0.patch

Lines changed: 0 additions & 15 deletions
This file was deleted.

‎DynamoDbEncryption/codegen-patches/StructuredEncryption/dotnet/dafny-4.9.0.patch

Lines changed: 0 additions & 15 deletions
This file was deleted.

0 commit comments

Comments
 (0)