mirror of
https://github.com/AdaCore/cpython.git
synced 2026-02-12 12:57:15 -08:00
and ask the user for permission to set buffer-local variables depending on the user's configuration. Not really needed since this doesn't get edited often. Bumped the version number to 1.5; date still needs to be set.