Treesaver/treesaver — pull request #305 by giorgian (2012-10-03 12:06:31+00:00)
Title: Fix: correctly detect android platform.

Many devices set navigator.platform to "Linux armv7l", so that they
end up having class os-linux instead of os-android.