diff options
Diffstat (limited to 'devel/erlang-backoff/files/patch-rebar.config')
| -rw-r--r-- | devel/erlang-backoff/files/patch-rebar.config | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/devel/erlang-backoff/files/patch-rebar.config b/devel/erlang-backoff/files/patch-rebar.config deleted file mode 100644 index 8d6552157ccf..000000000000 --- a/devel/erlang-backoff/files/patch-rebar.config +++ /dev/null @@ -1,13 +0,0 @@ ---- rebar.config.orig 2018-04-28 10:59:43 UTC -+++ rebar.config -@@ -5,10 +5,8 @@ - {profiles, [ - {test, [ - {plugins, [ -- {rebar3_proper, "0.9.0"} - ]}, - {deps, [ -- {proper, "1.2.0"} - ]} - ]} - ]}. |