Damien George fb510b3bf9 Rename bultins config variables to MICROPY_PY_BUILTINS_*.
This renames:
MICROPY_PY_FROZENSET -> MICROPY_PY_BUILTINS_FROZENSET
MICROPY_PY_PROPERTY -> MICROPY_PY_BUILTINS_PROPERTY
MICROPY_PY_SLICE -> MICROPY_PY_BUILTINS_SLICE
MICROPY_ENABLE_FLOAT -> MICROPY_PY_BUILTINS_FLOAT

See issue #35 for discussion.
2014-06-01 13:32:54 +01:00
..
2014-05-30 15:20:41 +01:00
2014-05-30 15:20:41 +01:00
2014-05-03 23:27:38 +01:00
2014-05-21 20:32:59 +01:00
2014-05-17 11:20:10 +03:00
2014-05-17 11:20:10 +03:00
2014-05-21 20:32:59 +01:00
2014-05-21 20:32:59 +01:00
2014-05-21 20:32:59 +01:00