diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-09-10 19:06:41 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-09-10 19:06:41 +0200 |
commit | 772b398ad8bce5013b5ac4d7a4a2c4ea475d084f (patch) | |
tree | 5761fd9d13ff52e4c7a88c0729cc89c4f303c866 /misc/dist/html/fixed-size.html | |
parent | 497853c383677c130f818d4988dcf52beb4e0ece (diff) | |
parent | 1cdc04c9c40dae1bd5bd016958cda5250e10c76f (diff) |
Merge pull request #21886 from RyanStein/bugfix-15509
Check for double-colon on open recent script.
Diffstat (limited to 'misc/dist/html/fixed-size.html')
0 files changed, 0 insertions, 0 deletions