# HG changeset patch # User Dirkjan Ochtman # Date 1213269129 -7200 # Node ID 73f49bef13adfa85f95be958bb4b42c457aa1058 # Parent 1e3c1f010808c596f9377e591f09804b3e03b6d5# Parent 22c303a514f8b89daa8cce9fd4549bc1eed63d65 merge from crew-stable diff -r 1e3c1f010808 -r 73f49bef13ad hgext/highlight.py