log Resources/EmbedResources.py @ 3714:e9029cb94d7c

age author description
Fri, 31 Jan 2020 17:14:59 +0100 Sebastien Jodogne upgrade to year 2020
Thu, 05 Dec 2019 16:21:41 +0100 Bernhard M. Wiedemann Sort file lists
Tue, 23 Apr 2019 22:56:17 +0200 Alain Mazy optimized EmbedResources.py (especially in speed: 2-3x faster but also in space: 20% smaller)