Write generic keys instead of dive_-prefixed ones - #1866

Write generic keys instead of dive_-prefixed ones#1866

mattdawkins wants to merge 2 commits into

mainKitware/dive:mainfrom

dev/coco-generic-keysKitware/dive:dev/coco-generic-keysCopy head branch name to clipboard