On Tue, Jul 23, 2013 at 12:19 PM, Pierre-Etienne Meunier <
pierreetienne.meunier@gmail.com> wrote:

Is there a simple documentation somewhere?


opam repository --help

Note the `remove` and `add` options. There is nothing special about the
default one. You can remove it.