diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-08-23 03:52:08 +0000 |
|---|---|---|
| committer | Estevan Castilho <tevo@riajuu.net> | 2026-08-23 03:52:08 +0000 |
| commit | 8f87d272038ddea11c366d9a14079666daf6628b (patch) | |
| tree | bbecb53f35452cc3caecf6fb85994629d67ce3af /lib/protocols/Registry.ml | |
| parent | 1d0b73b051cff4b14919808c51acbdd1c3e11767 (diff) | |
| download | RNT-8f87d272038ddea11c366d9a14079666daf6628b.tar.gz RNT-8f87d272038ddea11c366d9a14079666daf6628b.zip | |
The branch manager should persist changes to the root
Diffstat (limited to 'lib/protocols/Registry.ml')
0 files changed, 0 insertions, 0 deletions