aboutsummaryrefslogtreecommitdiff
path: root/hott
diff options
context:
space:
mode:
authorJosh Chen2020-07-17 11:30:34 +0200
committerJosh Chen2020-07-17 11:30:34 +0200
commit113063351cd0a4f99534c2ea9408b4e8f80836a3 (patch)
tree1e94dfc05f72a8a5b8e6a333cedfe01b4796781f /hott
parentde4d802123c3d27dab0abb746d63d6d384f83f3d (diff)
add build status
Diffstat (limited to 'hott')
0 files changed, 0 insertions, 0 deletions