diff miui @ 1:6a0c72d1d7c6

Use Id for external version matching
author grin <hg@drop.grin.hu>
date Sat, 07 Sep 2019 23:50:46 +0200
parents 5cd40ea64633
children 9a0fd2e8d9c4
line wrap: on
line diff
--- a/miui	Sat Sep 07 23:01:38 2019 +0200
+++ b/miui	Sat Sep 07 23:50:46 2019 +0200
@@ -1,4 +1,5 @@
 ## blocking EVERYTHING miui/china
+## $Id$
 0.0.0.0 account.xiaomi.com
 0.0.0.0 api.zhuti.intl.xiaomi.com
 0.0.0.0 data.mistat.intl.xiaomi.com