diff options
| author |   Joe Kappus <joe@wt.gd> | 2024-06-15 02:15:24 -0400 |
|---|---|---|
| committer | Joe Kappus <joe@wt.gd> | 2024-06-15 02:15:24 -0400 |
| commit | 9d22a109ccea06a8844126f764e444fe4eccf97e (patch) | |
| tree | dc79f7853999beb7f7a663af682bf895f49a2c34 /app-emacs/idris-mode | |
| parent | dev-ruby/ruby-build: new package from https://gpo.zugaina.org/dev-ruby/ruby-b... (diff) | |
| download | guru-9d22a109ccea06a8844126f764e444fe4eccf97e.tar.gz guru-9d22a109ccea06a8844126f764e444fe4eccf97e.tar.bz2 guru-9d22a109ccea06a8844126f764e444fe4eccf97e.zip | |
*/*: switch remaining metadata.xml to https
gentoo.org 301's to https for a long time now.
Update the stragglers.
Signed-off-by: Joe Kappus <joe@wt.gd>
Diffstat (limited to 'app-emacs/idris-mode')
0 files changed, 0 insertions, 0 deletions