diff docs/setup.rst @ 3531:1c2371dc86bd beta

Bugfix: On the changelog page, its possible that the some changeset is already checked out by the browser. So we check for that on page load.
author leonardo
date Mon, 04 Mar 2013 18:56:02 +0100
parents 2d4e1f5e854e
children 0065f7fe60f6
line wrap: on
line diff