Skip to content
Snippets Groups Projects
tkuehn's avatar
Thomas authored
The previous version of the API employs `configuration.getPropagator()`
to hide the propagation of updates of the configuration.

This has changed in FeatureIDE 3.6.1.

Thanks for suggesting the correct code go to Sebastian Krieter.
9c1e0dfb
History
Name Last commit Last update
..