Documentation snapshot for V3.10.0 (dafny-lang#3208)

<small>By submitting this pull request, I confirm that my contribution is made under the terms of the [MIT license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small> Co-authored-by: davidcok <davidcok@github.com>
davidcok · Jan 20, 2023 · 83f2282 · 83f2282
1 parent 9b05c3f
commit 83f2282
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/Snapshots.md b/docs/Snapshots.md
@@ -7,5 +7,6 @@ layout: default
 
 - [Current development version](https://dafny.org/dafny)
 - [Latest release snapshot](https://dafny.org/latest)
+- [v3.10.0](https://dafny.org/v3.10.0)
 - [v3.9.1](https://dafny.org/v3.9.1)
 - [v3.9.0](https://dafny.org/v3.9.0)