mirror of
https://github.com/python/cpython.git
synced 2026-06-12 06:04:27 -04:00
645058d11a
Tkinter's getdouble() now supports any numbers (in particular int).