[PATCH 08 of 12] diff: move index header generation to patch

[Kevin Bullock]

On 15 Nov 2012, at 5:23 PM, Guillermo Pérez wrote:

> # HG changeset patch
> # User Guillermo Pérez <bisho at fb.com>
> # Date 1353021401 28800
> # Node ID 197eae6f1822b5266cc683773ea0cfefdf82595d
> # Parent  d9c10c486865863951e9fa3647b6a2895f090765
> diff: move index header generation to patch

Patches 1-8 LGTM.

pacem in terris / мир / शान्ति / ‎‫سَلاَم‬ / 平和
Kevin R. Bullock