diff options
Diffstat (limited to 'scripts/dev/ci/problemmatchers.py')
| -rw-r--r-- | scripts/dev/ci/problemmatchers.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/dev/ci/problemmatchers.py b/scripts/dev/ci/problemmatchers.py index f71b2115e..d479b3efb 100644 --- a/scripts/dev/ci/problemmatchers.py +++ b/scripts/dev/ci/problemmatchers.py @@ -16,7 +16,7 @@ # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License -# along with qutebrowser. If not, see <http://www.gnu.org/licenses/>. +# along with qutebrowser. If not, see <https://www.gnu.org/licenses/>. """Register problem matchers for GitHub Actions. |