| commit | 837cd06d36f7e69fc51e5bce7631041161f9b864 | [log] [tgz] |
|---|---|---|
| author | Ezio Melotti <ezio.melotti@gmail.com> | Wed Oct 24 23:06:25 2012 +0300 |
| committer | Ezio Melotti <ezio.melotti@gmail.com> | Wed Oct 24 23:06:25 2012 +0300 |
| tree | 729c295211375657d7a49282e3b56a1dad1832a9 | |
| parent | fdf0f274e63ab45de33e81c016e97dc8640265e9 [diff] |
#16210: combine the two type() docs. Patch by Pete Sevander.