tree 8640105632bcbc90ac299bdd6800324b7cfd0f65
parent 35adf5dcf16e966c167899f87eee357ffc4de6b4
author Mark Dickinson <dickinsm@gmail.com> 1289134098 +0000
committer Mark Dickinson <dickinsm@gmail.com> 1289134098 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/py3k%4086293

Issue #10145: the float.is_integer method was undocumented.