|Re: [eigen] wiki problems|
[ Thread Index |
| More lists.tuxfamily.org/eigen Archives
- To: eigen@xxxxxxxxxxxxxxxxxxx
- Subject: Re: [eigen] wiki problems
- From: Eamon Nerbonne <eamon@xxxxxxxxxxxx>
- Date: Thu, 13 Oct 2011 12:01:03 +0200
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:content-type; bh=HgCIpbMYgWxJyHdWYo41TPb1u83SCKBo3xY7fMmGW+Y=; b=d0bTisuBzt6+imC0Kiw/gmuPT45Q/4kRNqDkVAemAd3kiZHs5FT7ZgqfJOiXH9C7ON aQOOmxuI5jCHc/3feQRf28rb5JefplmbXw2giN6yeHa1JcNjTXPnWS4UuIT3Bt5tS/pg FiRj8ufv3BZez1fWcHHc2Gj3ZkEQREigeCGyE=
On Wed, Oct 12, 2011 at 21:17, Gael Guennebaud <gael.guennebaud@xxxxxxxxx>
This is because of some internal changes in mediawiki. Pb solved.
On Wed, Oct 12, 2011 at 2:37 PM, Benoit Jacob <jacob.benoit.1@xxxxxxxxx
> 1) the headline had disappeared from the main page, the <xh1> tag
> didn't result in anything getting printed; as a temporary measure I
> replaced it by <h1> which results in it being printed at the top of
> the page.