diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-01-17 22:31:01 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-01-17 23:32:33 +0100 |
| commit | a264250b89a3b6b98ebe42d2ca9cffe65dddacba (patch) | |
| tree | 628ad2fbeee738e486feadb5dd9f0009d2dc26ca /gnu/system | |
| parent | 7420c1ee9062180ce320c2630a9c2b90d34a8dc9 (diff) | |
gnu: antlr3: Use HTTPS home page.
* gnu/packages/java.scm (antlr3)[home-page]: Use HTTPS.
Diffstat (limited to 'gnu/system')
0 files changed, 0 insertions, 0 deletions