| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
linkified now if they are preceeded by whitespace.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
files in some situations, and this is appropriate in some cases, such as
the teximg plugin's error log file.
Such files will be automatically cleaned up at an appopriate later time.
|
|
|
|
|
|
|
|
are not included in the map.
* map: Fix valid html issue.
|
|
suspision of this being display-only.
|
|
|
|
|
|
|
|
|
|
|
|
I moved on
|
|
|
|
|
|
confirmation and point at a minor remaining issue
|
|
* map: Fully specify paths to links to avoid issues when the bestlink
didn't point to the correct page.
|
|
|
|
|
|
page name
|
|
|
|
|
|
gmtime for these since a time zone is not specified.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
