updated animation library

2021-06-15 10:18:08 +02:00 · 2021-06-15 10:18:08 +02:00 · 2b25e2995b
commit 2b25e2995b
--- a/HISTORY.md
+++ b/HISTORY.md
@ -9,6 +9,7 @@
 * updated list-utilities library
 * extensions: documented function semantics
 * updated frequency-distribution-analysis library
+* updated animation library

 ### 2021-06-14
 * new dev version
--- a/libraries/animation_module.xml
+++ b/libraries/animation_module.xml