tree 07081532170d8a10b5fa23d405fe237e01451e16
parent 2488d05c5a845b695ec2e0115254a4c5e1f7b0e9
author Nils Diewald <nils@diewald-online.de> 1428890179 +0000
committer Nils Diewald <nils@diewald-online.de> 1428890179 +0000

Minor adjustments to fix Chrome bug with the hint helper