Free cookie consent management tool by TermsFeed Policy Generator

Changeset 10231

Timestamp:
12/17/13 10:34:51 (13 years ago)
Author:
mkommend
Message:

#2119: Improvements to the InstrumentedOperator class:

  • skipped generation of operations if no instrumentation is performed
  • changed type of operators parameters to OperatorList
(No files)

Note: See TracChangeset for help on using the changeset viewer.