mirror of https://github.com/gsi-upm/senpy
Entries should be a set instead of lists
This allows for better framing when two entries have the same @idpull/10/merge
parent
2dbdb58b06
commit
ceed9b97d0
Loading…
Reference in New Issue