Rename commands page to "instrumentation"#3663

josephsnyder merged 1 commit intoKitware:masterKitware/CDash:masterfrom

williamjallen:rename-commands-pagewilliamjallen/CDash:rename-commands-pageCopy head branch name to clipboard