docs/changelog

changeset 7702
f8b97639deb5
parent 7701
25f42e208e08
child 7703
1f800f8295ea
--- a/docs/changelog	Tue Sep 15 19:09:05 2020 +0200
+++ b/docs/changelog	Thu Sep 17 19:10:36 2020 +0200
@@ -7,6 +7,7 @@
      and allowing to navigate in the code
 - Third Party packages
   -- updated Pygments to 2.7.0
+  -- updated coverage.py to 5.3.0
 
 Version 20.9:
 - bug fixes

eric ide

mercurial