Go to file
2017-10-24 20:28:32 -04:00
plugin On save, only unset 'modified' for the current filename 2017-10-22 23:24:22 -04:00