comparison Resources/Patches/libp11-0.4.0.patch @ 3354:e60e194531e5

optimized EmbedResources.py (especially in speed: 2-3x faster but also in space: 20% smaller)
author Alain Mazy <alain@mazy.be>
date Tue, 23 Apr 2019 22:56:17 +0200
parents d46746607ae0
children cc6d4edfe8fe
comparison
equal deleted inserted replaced
3352:def55522f357 3354:e60e194531e5