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