diff options
| author | Federico Igne <undyamon@disroot.org> | 2024-01-26 20:35:57 +0100 |
|---|---|---|
| committer | Federico Igne <undyamon@disroot.org> | 2024-01-26 20:35:57 +0100 |
| commit | 1154021614181f2b62ced31cde8b9ac761f91312 (patch) | |
| tree | 1f0cd0b52e21d0aaf7ebbd6d48d9abeb88cc356e /sandy.opam | |
| parent | 477dd3d2a9f452d06912f9f56c6eee831a15aead (diff) | |
| download | sandy-1154021614181f2b62ced31cde8b9ac761f91312.tar.gz sandy-1154021614181f2b62ced31cde8b9ac761f91312.zip | |
refactor: make zippers return 'pop'ped elements
Diffstat (limited to 'sandy.opam')
0 files changed, 0 insertions, 0 deletions