Skip to content

Commit 0836d44

Browse files
author
Shubham Chaturvedi
committed
Merge branch 'mainline' into Golang/dev
2 parents 6db9ace + 864c2e2 commit 0836d44

File tree

1 file changed

+0
-2
lines changed

1 file changed

+0
-2
lines changed

‎AwsEncryptionSDK/.gitignore

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,6 @@
11
TestResults
22
ImplementationFromDafny.cs
33
TestsFromDafny.cs
4-
ImplementationFromDafny-cs.dtr
5-
TestsFromDafny-cs.dtr
64

75
bin/
86
obj/

0 commit comments

Comments
 (0)