breck7 / pldb

PLDB: a Programming Language DataBase
https://pldb.io
721 stars 97 forks source link

ERR_ADDRESS_UNREACHABLE at /docs/csv.html #459

Closed stavares843 closed 1 year ago

stavares843 commented 1 year ago

STR:

Captura de ecrã 2023-02-09, às 17 07 43

returns error

Captura de ecrã 2023-02-09, às 17 08 00
stavares843 commented 1 year ago

does it open for anyone? let me know if i should remove it 🔨

celtic-coder commented 1 year ago

Hi Hari (@SRS-WRKS),

http://antlr.org automatically redirects to https://www.antlr.org/ without the need for the leading "www" on the non-SSL version. Therefore, the non-SSL version can be used in the link in the PLDB and it will work fine.

Kind Regards, Liam

stavares843 commented 1 year ago

thanks for updating 🔨