MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

update charref link and make sure curl follows redirects

Browse Source
This commit is contained in:
Dennis Ushakov
2016-06-24 17:17:41 +03:00
parent 79445fe5b8
commit 9b30c776fb
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
xml/relaxng/src/resources/html5charref.rb
+2 -2
View File
@@ -1,6 +1,6 @@
#! /usr/bin/env ruby
CHAR_REFS_URL = 'http://dev.w3.org/html5/html-author/charref'
refs = `curl #{CHAR_REFS_URL}`
CHAR_REFS_URL = 'https://dev.w3.org/html5/html-author/charref'
refs = `curl -L #{CHAR_REFS_URL}`
header = <<header
<!--