Skip to content

#597 EdgeOrderDuplicateEventsOption: some renaming for clarity.

Dennis Hendriks requested to merge 597-rename-edge-order-duplicate-events-option-get-duplicate-events into develop
  • EdgeOrderDuplicateEvents -> EdgeOrderDuplicateEventAllowance
  • duplicateEvents -> allowance
  • getDuplicateEvents -> getAllowance

Closes #597 (closed)

Merge request reports

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent