Code

doc: a few fixes#10421

Code

Merged

bors merged 4 commits intorust-lang:masterrust-lang/rust:masterfrom adrientetar:patch-wwwadrientetar/rust:patch-wwwCopy head branch name to clipboardNov 13, 2013

+86-124

Commits

Commits on Nov 12, 2013

• doc: CSS: fix code fonts

  Show description for 123e0ce
  adrientetar

  committed
  123e0ce

  Copy full SHA for 123e0ce

Commits on Nov 13, 2013

• doc: disable parser error highlighting + a few fixes

  Show description for 5a01dbe
  adrientetar

  committed
  5a01dbe

  Copy full SHA for 5a01dbe

• doc: add favicon to tutorial/manual

  Show description for 58aa18c
  adrientetar

  committed
  58aa18c

  Copy full SHA for 58aa18c

• doc: tidy up makefile rules

  adrientetar

  committed
  3d57b24

  Copy full SHA for 3d57b24