m

Author: Lucas McDonald

TestVectors/dafny/WrappedDynamoDbItemEncryptor/src/Index.dfy

@@ -1,2 +1,4 @@
+// Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
+// SPDX-License-Identifier: Apache-2.0
 // Empty stub expected by Smithy-Dafny
 module WrappedItemEncryptor {}