diff options
Diffstat (limited to '18/options')
-rw-r--r-- | 18/options | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/18/options b/18/options deleted file mode 100644 index 5f0a825..0000000 --- a/18/options +++ /dev/null @@ -1,6 +0,0 @@ -OTP_VERSION=18.3.4.4 -OTP_SRC_SUM=3956f5c4fcd05848c7fe048d5c4ef7eaf002a8312cba0674150c5a10ab0e9f04 -REBAR_VERSION=2.6.4 -REBAR_SRC_SUM=577246bafa2eb2b2c3f1d0c157408650446884555bf87901508ce71d5cc0bd07 -REBAR3_VERSION=3.4.1 -REBAR3_SRC_SUM=fa8b056c37ed3781728baf0fc5b1d87a31edbc5f8dd9b50a5d1ad92b0230e5dd |