diff Resources/EclipseCodingStyle.xml @ 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 c0a841f282a9
children
line wrap: on
line diff