Add deprecate macro#2037

Merged

hannes-steffenhagen-diffblue merged 2 commits intodiffblue:developfrom

hannes-steffenhagen-diffblue:add_deprecate_macro

Apr 11, 2018

Commits on Apr 10, 2018

Add DEPRECATED macro to mark deprecated functions and variables
hannes-steffenhagen-diffblue
committed

Commits on Apr 11, 2018

Add DEPRECATED to functions documented as \deprecated
hannes-steffenhagen-diffblue
committed