From 4c9280033a3d3bd35a467230e0970f46d326c00b Mon Sep 17 00:00:00 2001 From: Suzanne Millstein Date: Mon, 3 Aug 2020 10:17:34 -0700 Subject: [PATCH] new release 3.9.11 --- annotation-file-utilities/annotation-file-utilities.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/annotation-file-utilities/annotation-file-utilities.html b/annotation-file-utilities/annotation-file-utilities.html index 742ca5fd8..911e4c59e 100644 --- a/annotation-file-utilities/annotation-file-utilities.html +++ b/annotation-file-utilities/annotation-file-utilities.html @@ -135,13 +135,13 @@

Installation

The current release is Annotation File Utilities version -3.9.10, 01 Jul 2020. +3.9.11, 03 Aug 2020.

  1. Download - annotation-tools-3.9.10.zip. + annotation-tools-3.9.11.zip.
  2. @@ -151,7 +151,7 @@

    Installation

    (You will typically make annotation-tools/ a sibling of checker-framework/.) -
    unzip annotation-tools-3.9.10.zip
    +
    unzip annotation-tools-3.9.11.zip