about summary refs log tree commit diff
path: root/.gcroots/.skip-subtree
diff options
context:
space:
mode:
authorProfpatsch <mail@profpatsch.de>2022-12-31T16·11+0100
committerclbot <clbot@tvl.fyi>2023-01-01T22·02+0000
commite5fa10b2097092a75fef89deeda2ff9d27eea87c (patch)
tree2be1c7ea27eee4366740cd1cb9aa7ba779847788 /.gcroots/.skip-subtree
parent319c03f63413a82d9266ed939eba7f7e552dd2b2 (diff)
chore(users/Profpatsch/cas-serve): remove dependency on superrecord r/5559
The use of superrecord here can be replaced by simple labelled tuples.

Change-Id: I23690cd0b88896440521fe81e83347ef4773d4a0
Reviewed-on: https://cl.tvl.fyi/c/depot/+/7713
Reviewed-by: sterni <sternenseemann@systemli.org>
Autosubmit: Profpatsch <mail@profpatsch.de>
Reviewed-by: Profpatsch <mail@profpatsch.de>
Tested-by: BuildkiteCI
Diffstat (limited to '.gcroots/.skip-subtree')
0 files changed, 0 insertions, 0 deletions