# HG changeset patch # User Mike Becker # Date 1478798836 -3600 # Node ID 643a3ccecd61ade247a59ab6de80bf8577b2c84d # Parent f37984d9ab1109a312b8331dce1cccc8b8688dfc test header file now contains user-select:none property diff -r f37984d9ab11 -r 643a3ccecd61 test/header.html --- a/test/header.html Wed Aug 31 16:21:28 2016 +0200 +++ b/test/header.html Thu Nov 10 18:27:16 2016 +0100 @@ -3,6 +3,13 @@ c2html