diff options
| author | Damien George <damien.p.george@gmail.com> | 2014-06-12 19:50:17 +0100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2014-06-12 19:50:17 +0100 |
| commit | 8340c4838948876a4e477556beaed79e59e5e9b4 (patch) | |
| tree | 318ec25f080c1da776d228eb966bb5576057a83b | |
| parent | fbdf2f1d63e39cb197e6cebb340af4a648c96121 (diff) | |
py: Revert change of include, "" back to <> for mpconfigport.h.v1.1
| -rw-r--r-- | py/mpconfig.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/py/mpconfig.h b/py/mpconfig.h index 9d0ad694e..93e98c25b 100644 --- a/py/mpconfig.h +++ b/py/mpconfig.h @@ -28,7 +28,7 @@ // You can override any of these options using mpconfigport.h file located // in a directory of your port. -#include "mpconfigport.h" +#include <mpconfigport.h> // Any options not explicitly set in mpconfigport.h will get default // values below. |