| commit | 4a3c7c4ecf3fef60633c50b3ab07057afdd7fe18 | [log] [tgz] |
|---|---|---|
| author | Mark Dickinson <dickinsm@gmail.com> | Sun Nov 07 12:48:18 2010 +0000 |
| committer | Mark Dickinson <dickinsm@gmail.com> | Sun Nov 07 12:48:18 2010 +0000 |
| tree | 8640105632bcbc90ac299bdd6800324b7cfd0f65 | |
| parent | 35adf5dcf16e966c167899f87eee357ffc4de6b4 [diff] |
Issue #10145: the float.is_integer method was undocumented.