diff options
author | Profpatsch <mail@profpatsch.de> | 2022-12-31T16·11+0100 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2023-01-01T22·02+0000 |
commit | e5fa10b2097092a75fef89deeda2ff9d27eea87c (patch) | |
tree | 2be1c7ea27eee4366740cd1cb9aa7ba779847788 /.gcroots/.skip-subtree | |
parent | 319c03f63413a82d9266ed939eba7f7e552dd2b2 (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