# HG changeset patch # User Oleksandr Gavenko # Date 1420819733 -7200 # Node ID 12f6f6b95b7c5e8a38a2c8f8f042c0d5eece57a1 # Parent 86a2cb376ee92c4b60bef52847783be89e31c820 Add standard header. diff -r 86a2cb376ee9 -r 12f6f6b95b7c android.rst --- a/android.rst Thu Jan 08 17:53:36 2015 +0200 +++ b/android.rst Fri Jan 09 18:08:53 2015 +0200 @@ -1,3 +1,5 @@ +.. -*- coding: utf-8; -*- +.. include:: HEADER.rst ========== Android.