# On branch master
# Changes not staged for commit:
#   (use "git add <file>..." to update what will be committed)
#   (use "git checkout -- <file>..." to discard changes in working directory)
#
#	modified:   config/Platform.mk
#
no changes added to commit (use "git add" and/or "git commit -a")
