aboutsummaryrefslogtreecommitdiff
path: root/latex-test/ref/TypeFamilies3
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2020-05-29 14:32:42 -0400
committerGitHub <noreply@github.com>2020-05-29 14:32:42 -0400
commit60c85324ae083e2ac3d6180c0f20db5cdb31168b (patch)
treecd5cce96d51dced8de0a73fa7d17bfde78447b18 /latex-test/ref/TypeFamilies3
parent8134a3be2c01ab5f1b88fed86c4ad7cc2f417f0a (diff)
parent35c0c99e16d278f0809b9658bc7dc4fdb42e4cb8 (diff)
Merge pull request #1185 from obsidiansystems/boot-disambig
isBootSummary now produces a result of type IsBootInterface
Diffstat (limited to 'latex-test/ref/TypeFamilies3')
0 files changed, 0 insertions, 0 deletions