Example Options for PrKalmanFilterTool
Adds an options file and test for PrKalmanFilterTool
functionality.
Goes together with Rec!2539 (merged)
Adds an options file and test for PrKalmanFilterTool
functionality.
Goes together with Rec!2539 (merged)