Revert "missed deleting a line after merge conflict"

This reverts commit b615ea584f883c9713555dc9854c906764ddecfd.
Revert "Bumped revision number"

This reverts commit 05aeadd8a927aa61b8ca152c6ada71f02cf828f5.
??
Revert "Revert "Bumped revision number""

This reverts commit 8acd212b21c83af60c21ef358330f4a4747afdf6.
Revert "[export_test.py][STM32F4]"

This reverts commit 539d47e6f97cbf4ce9f16e50c5e6fa2a13ad7b4f.

Conflicts:
	workspace_tools/export/gccarm.py
	workspace_tools/export_test.py