Update navigation.c
treee4785aa0d12ec733c5057e084ab1b70045967e29
-rw-r--r-- 152 .gitattributes
-rw-r--r-- 199 .gitignore
-rwxr-xr-x 2231 .travis.sh
-rwxr-xr-x 864 .travis.yml
-rw-r--r-- 1195 CONTRIBUTING.md
-rw-r--r-- 1395 CREDITS
-rwxr-xr-x 542 JLinkSettings.ini
-rw-r--r-- 35147 LICENSE
-rw-r--r-- 31581 Makefile
-rw-r--r-- 397 Notes.md
-rw-r--r-- 5870 README.md
-rw-r--r-- 1141 Vagrantfile
-rwxr-xr-x 1250 build_docs.sh
drwxr-xr-x - docs
-rwxr-xr-x 813 fake_travis_build.sh
-rwxr-xr-x 263 install-toolchain.sh
drwxr-xr-x - lib
drwxr-xr-x - src
drwxr-xr-x - support