Skip to content

Commit 003561f

Browse files
auto commit
1 parent 6173888 commit 003561f

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

README.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -48,7 +48,7 @@ This repository is a top level repository which houses all source code in order
4848
different runtimes.
4949

5050
This library is written in Dafny, a formally verifiable programming language that can be compiled into
51-
different runtimes. This library is currently **ONLY** supported in Java and .NET
51+
different runtimes. This library is currently **ONLY** supported in Java, .NET and Rust.
5252

5353
### AWS Integration
5454

@@ -71,7 +71,7 @@ You need an Amazon Web Services (AWS) account to use the DB-ESDK for DynamoDB as
7171

7272
# Contributing
7373

74-
See [CONTRIBUTING](CONTRIBUTING.md) for more information.
74+
See [CONTRIBUTING](CONTRIBUTING.md) for more information. For detailed information about code organization and development see [DynamoDbEncryption README](./DynamoDbEncryption/README.md)
7575

7676
# License
7777

0 commit comments

Comments
 (0)