diff options
| author | Damien George | 2017-07-19 13:12:10 +1000 |
|---|---|---|
| committer | Damien George | 2017-07-19 13:12:10 +1000 |
| commit | 761e4c7ff62896c7d8f8c3dfc3cc98a4cc4f2f6f (patch) | |
| tree | ca794059e302b1947125d36f64c667acdde6ddbe /py/runtime.c | |
| parent | c972c60dbe72d7448faff7f631dfb798b694093e (diff) | |
all: Remove trailing spaces, per coding conventions.
Diffstat (limited to 'py/runtime.c')
| -rw-r--r-- | py/runtime.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/py/runtime.c b/py/runtime.c index a8a1f73fa..ecc3ae2f5 100644 --- a/py/runtime.c +++ b/py/runtime.c @@ -127,7 +127,7 @@ void mp_deinit(void) { //mp_obj_dict_free(&dict_main); //mp_map_deinit(&MP_STATE_VM(mp_loaded_modules_map)); - // call port specific deinitialization if any + // call port specific deinitialization if any #ifdef MICROPY_PORT_INIT_FUNC MICROPY_PORT_DEINIT_FUNC; #endif |