IGNORE_MODIFICATION_TIME


Description:

IGNORE_MODIFICATION_TIME

Save file despite external modifications.