mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-28 05:29:48 +00:00
0ac00f44e4
Add several options for protocols such as rsync, git, wget, Hg, etc, where the first three options are on by default. PR: 194529 Suggested by: Michael Gruenewald Final patch: maintainer (Joris Giovannangeli)
24 lines
579 B
Plaintext
24 lines
579 B
Plaintext
bin/opam
|
|
bin/opam-admin
|
|
bin/opam-installer
|
|
man/man1/opam-admin-check.1.gz
|
|
man/man1/opam-admin-depexts.1.gz
|
|
man/man1/opam-admin-make.1.gz
|
|
man/man1/opam-admin-stats.1.gz
|
|
man/man1/opam-admin.1.gz
|
|
man/man1/opam-config.1.gz
|
|
man/man1/opam-init.1.gz
|
|
man/man1/opam-install.1.gz
|
|
man/man1/opam-installer.1.gz
|
|
man/man1/opam-list.1.gz
|
|
man/man1/opam-pin.1.gz
|
|
man/man1/opam-reinstall.1.gz
|
|
man/man1/opam-remove.1.gz
|
|
man/man1/opam-repository.1.gz
|
|
man/man1/opam-search.1.gz
|
|
man/man1/opam-show.1.gz
|
|
man/man1/opam-switch.1.gz
|
|
man/man1/opam-update.1.gz
|
|
man/man1/opam-upgrade.1.gz
|
|
man/man1/opam.1.gz
|