commit | a7cbe28bcc8016d22e499b72babd87c93394aa7b | [log] [tgz] |
---|---|---|
author | Éric Araujo <merwok@netwok.org> | Thu Sep 01 19:49:31 2011 +0200 |
committer | Éric Araujo <merwok@netwok.org> | Thu Sep 01 19:49:31 2011 +0200 |
tree | 4c19ad4406d12960de79a90ab0426375de34f9f2 | |
parent | a971df3cd5472fd480a601a953b1c8829b301301 [diff] |
Avoid using the default reST role. Makes Doc/tools/rstlint.py happy.