Igor Kulikov 486965afed

Merge pull request #9841 from rusikv/industrial-widgets-images-optimisation ...

Industrial widgets: images optimisation, minor corrections

2023-12-15 17:16:42 +02:00

..

src

Merge pull request #9841 from rusikv/industrial-widgets-images-optimisation

2023-12-15 17:16:42 +02:00

.gitignore

…

pom.xml

Version set to 3.6.2-SNAPSHOT

2023-11-13 17:07:32 +02:00