diff Python/pytime.c @ 85942:0d079c66dc23

[issue19152] Add ExtensionFileLoader.get_filename().
author Eric Snow <ericsnowcurrently@gmail.com>
date Thu, 03 Oct 2013 12:08:55 -0600
parents 0e46e0cd368f
children
line wrap: on
line diff