diff options
author | Ben10do <Ben10do@users.noreply.github.com> | 2017-06-09 22:09:38 +0100 |
---|---|---|
committer | Ben10do <Ben10do@users.noreply.github.com> | 2017-06-09 22:09:38 +0100 |
commit | cf390243b24724311bb0c4ebedb3c0d493e54c9c (patch) | |
tree | 42fb3732d1f6f9f4325cdd810b10f54c5578af7e /engine | |
parent | b34b1a5b0c5d5fb62029a596ef0446e68812fc67 (diff) |
Remove ‘make tools’ step in installation
This step is no longer required, as it will be run automatically when making the ROM.
Diffstat (limited to 'engine')
0 files changed, 0 insertions, 0 deletions