Hi, it’s me again.
I’m trying now to follow the instructions of this tutorial: https://os.mbed.com/users/mzta/notebook/building-mbed_blinky-for-disco_f746ng-at-local/
At step 3 it tells me that:
## 3. Apply a patch to the targets.py [/media/uploads/mzta/targets.py.patch](https://os.mbed.com/media/uploads/mzta/targets.py.patch) ARMCC or IAR compilers are all that is able to build mbed-src for DISCO_F746NG target currently. This patch enables to build for DISCO_F746NG target by GCC.
But I don’t know how to apply this patch after downloading the file. Can someone help me?