Bump version numbers for 3.13
tree3d91321991416ccd27f80550965a08d449d0c624
-rw-r--r-- 368 .gitattributes
-rw-r--r-- 6916 .gitignore
drwxr-xr-x - android
drwxr-xr-x - apps
drwxr-xr-x - backdrops
drwxr-xr-x - bootloader
drwxr-xr-x - debian
drwxr-xr-x - docs
drwxr-xr-x - firmware
drwxr-xr-x - flash
drwxr-xr-x - fonts
drwxr-xr-x - gdb
drwxr-xr-x - icons
drwxr-xr-x - lib
drwxr-xr-x - manual
drwxr-xr-x - packaging
drwxr-xr-x - rbutil
drwxr-xr-x - tools
drwxr-xr-x - uisimulator
drwxr-xr-x - utils
drwxr-xr-x - wps