comparison .hgtags @ 381:eb3f622d8791

android: create/clean a temporary directory on startup: directory returned by tempfiles on Android is actually the root directory of the application, so it is not cleaned. To work around that a `/tmp` directory inside it is now created, and cleaned on startup if it already exists.
author Goffi <goffi@goffi.org>
date Tue, 04 Feb 2020 20:47:17 +0100
parents f3d75d18a473
children d98e2383df58
comparison
equal deleted inserted replaced
380:9d3481663964 381:eb3f622d8791