release 1.4.4: change the date to February 2020

tlaplus · Feb 4, 2020 · d40767b · d40767b
1 parent 21f81ba
commit d40767b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/web/content/Download/Previous_releases.html b/doc/web/content/Download/Previous_releases.html
@@ -20,7 +20,7 @@
   <h2 class="white">All releases</h2>
 
   <h3> TLAPS version 1.4.4
-  &nbsp;&nbsp;<span style="font-size:80%;">(January 2020)</span> </h3>
+  &nbsp;&nbsp;<span style="font-size:80%;">(February 2020)</span> </h3>
   <div class="hr"></div>
 
   <ul>