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)
23 lines
579 B
Text
23 lines
579 B
Text
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
|