log Resources/EmbedResources.py @ 3354:e60e194531e5

age author description
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)