Join GitHub today
Last modification date as alternative to date header #217
Use date of last modification of source file, if no "date" header is given in the file meta data. For regular pages (not blog posts), this simplifies the task of having an up-to-date "date" on the page. The page date is simply taken from the file time-stamp of the file system.