diff .hgignore @ 2887:9aadf11b315b

plugin android: check connectivity use Android API to retrieve connectivity informations (connection availability + kind of connection). Register to connectivity change broadcast, new client.networkEnabled/client.networkDisabled are called when suitable.
author Goffi <goffi@goffi.org>
date Sat, 06 Apr 2019 19:05:58 +0200
parents f2cb99b196b1
children 9f599ccbea4e
line wrap: on
line diff