Damien George ee3fd46f13 Rename configuration variables controling Python features.
Now of the form MICROPY_PY_*.  See issue #35.
2014-05-24 23:03:12 +01:00
..
2014-05-07 07:19:51 -07:00
2014-05-24 23:00:09 +03:00
2014-05-10 10:42:40 +02:00