diff configure @ 2487:83f8f4f58a98

Android: Implement dw_exit() using Activity.finishActivity() instead of exit().
author bsmith@81767d24-ef19-dc11-ae90-00e081727c95
date Tue, 27 Apr 2021 09:19:29 +0000
parents 20f05d3a9c64
children 0ce46809e95d
line wrap: on
line diff