projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eb7226e) | patch
Use https for antlr3.org downloads (#2701)
authorTom Smeding <tomsmeding@users.noreply.github.com>
Fri, 23 Nov 2018 07:31:21 +0000 (08:31 +0100)
committerAndres Noetzli <andres.noetzli@gmail.com>
Fri, 23 Nov 2018 07:31:21 +0000 (23:31 -0800)
commit391ab9df6c3fd9a3771864900c1718534c1e4666
treea38604577d2a36ad390b2734fd4f11958d45002dtree
parenteb7226ebeabf7cc70ec023107d74ffc5c1bad5e7commit | diff
Use https for antlr3.org downloads (#2701)

This commit changes the two www,antlr3.org URL's in contrib/get-antlr-3.4 to use https instead of http, which is more secure.
contrib/get-antlr-3.4 diff | blob | history