Updated AnnotationGuide for vdmj.annotations resource

nickbattle · Dec 11, 2023 · 60a2fb3 · 60a2fb3
1 parent 0c814e4
commit 60a2fb3
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/annotations/documentation/AnnotationGuide.odt b/annotations/documentation/AnnotationGuide.odt
diff --git a/annotations/documentation/AnnotationGuide.pdf b/annotations/documentation/AnnotationGuide.pdf