Commits

C. Enrique Garcia Dabo authored f11ea2015bc 
Remove included files that are not necessary.

Those header files are either not needed because nothing is being used from
them or because they have beeing included from other included files.
Fixes partially CAS-13858
No tags
ed03d3b6cc0
master

casatools/src/code/flagging/Flagging/AgentFlagger.cc

Modified

Everything looks good. We'll let you know here if there's anything you should know about.

Add shortcut