"get" back to "gives" in <dd>

(But in summary_text it is "get").
Mathics3 · Jul 11, 2023 · 6bc3074 · 6bc3074
1 parent c0e5b11
commit 6bc3074
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/mathics/builtin/datentime.py b/mathics/builtin/datentime.py
@@ -986,7 +986,7 @@ class DateStringFormat(Predefined):
 
     <dl>
       <dt>'$DateStringFormat'
-      <dd>get the format used for dates generated by 'DateString'.
+      <dd>gives the format used for dates generated by 'DateString'.
     </dl>
 
     >> $DateStringFormat