| commit | 613a97e193466d70904e767b354e29edfd1be0c3 | [log] [tgz] |
|---|---|---|
| author | Ezio Melotti <ezio.melotti@gmail.com> | Mon Nov 25 22:47:01 2013 +0200 |
| committer | Ezio Melotti <ezio.melotti@gmail.com> | Mon Nov 25 22:47:01 2013 +0200 |
| tree | 3e781f563c775e7009b8cef787f691f432c0d962 | |
| parent | 1048fb55398e0a01400ed9ba4b75c74fe4ba6ede [diff] |
#19778: fix a couple of re reprs in the documentation.