Skip to content

Commit 41e0ef5

Browse files
rishav-karanjitrishav-karanjit
committed
auto commit
1 parent 8cf74e0 commit 41e0ef5

File tree

4 files changed

+4
-4
lines changed
  • DynamoDbEncryption/runtimes/go
    • ImplementationFromDafny-go
      • awscryptographydbencryptionsdkdynamodbitemencryptorsmithygeneratedtypes
      • awscryptographydbencryptionsdkdynamodbsmithygeneratedtypes
    • TestsFromDafny-go
      • awscryptographydbencryptionsdkdynamodbitemencryptorsmithygeneratedtypes
      • awscryptographydbencryptionsdkdynamodbsmithygeneratedtypes

4 files changed

+4
-4
lines changed

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/awscryptographydbencryptionsdkdynamodbitemencryptorsmithygeneratedtypes/types.go

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/awscryptographydbencryptionsdkdynamodbsmithygeneratedtypes/types.go

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎DynamoDbEncryption/runtimes/go/TestsFromDafny-go/awscryptographydbencryptionsdkdynamodbitemencryptorsmithygeneratedtypes/types.go

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎DynamoDbEncryption/runtimes/go/TestsFromDafny-go/awscryptographydbencryptionsdkdynamodbsmithygeneratedtypes/types.go

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)