Artifact 0b4a0a02753dd2d3d704981cf05ad3bf67662b1c:

• File src/update.c
  • 2014-07-10 09:25:42 — part of check-in [a44b4aa5ac] on branch undo-clean — merge trunk (user: jan.nijtmans size: 27833)
  • 2014-07-10 09:25:42 — part of check-in [a44b4aa5ac] on branch undo-clean — merge trunk (user: jan.nijtmans size: 27833)