1; DO NOT EDIT (unless you know what you are doing) 2; 3; This subdirectory is a git "subrepo", and this file is maintained by the 4; git-subrepo command. See https://github.com/git-commands/git-subrepo#readme 5; 6[subrepo] 7 remote = https://github.com/CTSRD-CHERI/cheri-compressed-cap.git 8 branch = master 9 commit = 1c6a0ff5bd19246eced97489d6b171514379df6e 10 parent = 82eb9e3e14ce2d5172640aed2f5f2dc9c05655ac 11 method = rebase 12 cmdver = 0.4.1 13