From c0103c328b58eca78bd3db0ad17275a6a3e2aad0 Mon Sep 17 00:00:00 2001 From: Alex-EEE Date: Mon, 14 May 2018 12:21:07 -0500 Subject: [PATCH] Export folder needs to not ignore .mbed files. Fixing a bug. .mbed is ignored in the high level .gitignore file. But .mbed is actually a needed file inside of tools/export. Even though the file is still in the main repo, since it's ignored now, you can easily lose it or remove it without seeing the change. Adding this .gitignore file here will add .mbed back into the tracked files for only this directory --- tools/export/.gitignore | 1 + 1 file changed, 1 insertion(+) create mode 100644 tools/export/.gitignore diff --git a/tools/export/.gitignore b/tools/export/.gitignore new file mode 100644 index 0000000000..0b574199a7 --- /dev/null +++ b/tools/export/.gitignore @@ -0,0 +1 @@ +!.mbed \ No newline at end of file