Import / svn / viewvc-1.1-dev / templates-contrib / newvc / templates / docroot / scripts.js

function jumpTo(url)
{
  window.location = url;
}