Merge pull request #3494 from AnotherButler/patch-10

Delete ignoring_files_from_build.md
ARMmbed · Dec 23, 2016 · bd2e5c6 · bd2e5c6
2 parents 0839a6f + c7d94fe
commit bd2e5c6
Showing 1 changed file with 0 additions and 49 deletions.
diff --git a/docs/ignoring_files_from_build.md b/docs/ignoring_files_from_build.md