# HG changeset patch # User Michael Goffioul # Date 1344179994 -3600 # Node ID 0ba814cc489a113eedbe4d321469a01526cec13e # Parent 4f6e058e416110a46d8dfe4f5f1ef6c32216f272 Re-sync with latest qterminal.