commit | 941afedd741b26c0e54c377e8b04f5eb6af823c9 | [log] [tgz] |
---|---|---|
author | Éric Araujo <merwok@netwok.org> | Thu Sep 01 02:47:34 2011 +0200 |
committer | Éric Araujo <merwok@netwok.org> | Thu Sep 01 02:47:34 2011 +0200 |
tree | 321bb0890ce737d54771db5735093e840265dcd3 | |
parent | 48e484fdde4295c755dd3d6df6d7f1633eb17f2b [diff] |
Avoid using the default reST role. Makes Doc/tools/rstlint.py happy.