ase379/gpprofile2017

Remove Options

Closed this issue · 0 comments

The Options "Keep file date unchanged when instrumenting" and "Use file date as file change indicator" can be removed.
"Keep file date unchanged when instrumenting" will not be always false.
"Use file date as file change indicator" will now always be true.
Use certain combinations of these flags causes wrong behaviour (and makes no sense).