Skip to content
  • Robbert Krebbers's avatar
    Remove CollectionOps class. · 8a431343
    Robbert Krebbers authored
    This class whose name is horrible and purpose is arbitrary seems to be a
    leftover of some experiment with ch2o, a long time a ago.
    8a431343