remove dtr files

aws · Jul 19, 2024 · f312fc8 · f312fc8
1 parent 3ec12d8
commit f312fc8
Show file tree

Hide file tree

Showing 6 changed files with 0 additions and 204 deletions.
diff --git a/AwsCryptographicMaterialProviders/runtimes/net/ImplementationFromDafny-cs.dtr b/AwsCryptographicMaterialProviders/runtimes/net/ImplementationFromDafny-cs.dtr
diff --git a/AwsCryptographicMaterialProviders/runtimes/net/tests/TestsFromDafny-cs.dtr b/AwsCryptographicMaterialProviders/runtimes/net/tests/TestsFromDafny-cs.dtr
diff --git a/AwsCryptographyPrimitives/runtimes/net/ImplementationFromDafny-cs.dtr b/AwsCryptographyPrimitives/runtimes/net/ImplementationFromDafny-cs.dtr
diff --git a/ComAmazonawsDynamodb/runtimes/net/ImplementationFromDafny-cs.dtr b/ComAmazonawsDynamodb/runtimes/net/ImplementationFromDafny-cs.dtr
diff --git a/ComAmazonawsKms/runtimes/net/ImplementationFromDafny-cs.dtr b/ComAmazonawsKms/runtimes/net/ImplementationFromDafny-cs.dtr
diff --git a/StandardLibrary/runtimes/net/ImplementationFromDafny-cs.dtr b/StandardLibrary/runtimes/net/ImplementationFromDafny-cs.dtr