From e24b0d23f75d8178ec76e362fcabc3ad68591198 Mon Sep 17 00:00:00 2001 From: "Jason A. Donenfeld" Date: Sun, 16 Jul 2017 16:34:05 +0200 Subject: .io -> .com --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 98bc3fa..7e37fb5 100644 --- a/Makefile +++ b/Makefile @@ -11,7 +11,7 @@ TAMARIN_REMOTEBIN ?= tamarin-prover # The target protocol to be proved TAMARIN_PROTO ?= wireguard # The remote host for running -TAMARIN_HOST ?= proof.wireguard.io +TAMARIN_HOST ?= proof.wireguard.com logfile = log -- cgit v1.2.3-59-g8ed1b