view Version @ 2798:a3d62de81ec0

Android: Changes to highlight the selected node of the tree widget.
author bsmith@81767d24-ef19-dc11-ae90-00e081727c95
date Sat, 16 Jul 2022 21:46:35 +0000
parents 023045e14837
children
line wrap: on
line source

# Set these here to change the version for all platforms
DW_MAJOR_VERSION=3
DW_MINOR_VERSION=3