Skip to content

First set of deprecation attributes.

Reiner Hauser requested to merge deprecate into master

This is the first minimal set, leaving OWLRegexp and OWLTimer not deprecated for now.

Merge request reports