Bruno Windels 99c8816bf9 better naming
FragmentIndex -> FragmentIdIndex (index of fragment ids,
   not an index number in a fragment collection)
EventKey -> EventIndex (implies being ordered)
FragmentKey -> FragmentId
  (implies not being ordered, hence FragmentIdIndex)
2019-05-01 15:36:32 +02:00
..
2019-02-06 22:06:00 +00:00
2019-04-04 21:48:26 +02:00
2019-05-01 15:36:32 +02:00
2019-02-06 22:06:00 +00:00
2019-03-08 20:05:21 +01:00