Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
wiki
Add redirects for old /about.html and new /wiki/*
September 15, 2018 10:56
.htaccess
Add redirects for old /about.html and new /wiki/*
September 15, 2018 10:56
GitHub_Logo.png
Update to use local copy of github logo
January 13, 2020 21:40
LICENSE
Add MIT license
May 2, 2020 18:37
README.md
Improve links
July 18, 2021 15:41
autofix.js
Unify autofix.js overlap logic with Fixer.hs
July 26, 2022 15:39
bugreport.js
Skip title in bug issue to prevent false submissions.
July 18, 2021 15:34
favicon.ico
Initial commit
March 6, 2016 21:33
index.php
Disable useSoftTab
June 24, 2022 13:12
robots.txt
Initial commit
March 6, 2016 21:33
shellcheck.css
Add autofix support
January 13, 2019 00:03
shellcheck.js
Update to local cache of the Github wiki
May 10, 2022 22:09
shellcheck.php
avoid calling removed function - PHP8 support
December 18, 2021 04:06
shellcheck.png
Add support for prepopulating the text area.
April 1, 2017 11:26
shellcheck.sh
Bump sandbox
August 2, 2022 11:19