Fixed issue #612: "Copy all information to clipboard" copies incorrect header
tree40ad7c5bb07bbf51ae737fb346c62dcb79bd0a31
-rw-r--r-- 442 .gitignore
-rw-r--r-- 391 .gitmodules
drwxr-xr-x - Languages
-rw-r--r-- 3582 build.txt
drwxr-xr-x - common
drwxr-xr-x - contrib
drwxr-xr-x - doc
drwxr-xr-x - ext
drwxr-xr-x - src
drwxr-xr-x - test