On 21 Oct 2015, at 07:54, Marcus Denker <marcus.denker@inria.fr> wrote:it works for me��� On 21 Oct 2015, at 04:52, Gabriel Cotelli <g.cotelli@gmail.com> wrote:It's giving:Error: Duplicate key: 'index-header'
On 21 Oct 2015, at 04:52, Gabriel Cotelli <g.cotelli@gmail.com> wrote:It's giving:Error: Duplicate key: 'index-header'
It's giving:
Error: Duplicate key: 'index-header'