diff Resources/Patches/mongoose-3.8-patch.diff @ 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 8f2bda0719f4
children 4a8e8a96b233
line wrap: on
line diff