Explorar el Código

Use the Git protocol for PropEr

I've had reports that HTTPS seems to fail a bit more often than the Git
URLs. I've seen this before as well so I've gone ahead and switched
protocols for the clone.
pull/30/head
Paul J. Davis hace 12 años
cometido por Dave Cottlehuber
padre
commit
8857921a2a
Se han modificado 1 ficheros con 1 adiciones y 1 borrados
  1. +1
    -1
      rebar.config

+ 1
- 1
rebar.config Ver fichero

@ -1,5 +1,5 @@
{deps, [
{proper, ".*", {git, "https://github.com/manopapad/proper.git", "master"}}
{proper, ".*", {git, "git://github.com/manopapad/proper.git", "master"}}
]}.
{port_specs, [{"priv/jiffy.so", ["c_src/*.c"]}]}.

Cargando…
Cancelar
Guardar