diff configure.in @ 2574:5b13bb267364

Android: Percent widget should be using horizontal ProgressBar.
author bsmith@81767d24-ef19-dc11-ae90-00e081727c95
date Fri, 21 May 2021 19:50:56 +0000
parents 20f05d3a9c64
children 0ce46809e95d
line wrap: on
line diff