diff options
| author |   Jason A. Donenfeld <Jason@zx2c4.com> | 2017-07-16 16:34:05 +0200 |
|---|---|---|
| committer | Jason A. Donenfeld <Jason@zx2c4.com> | 2017-07-16 16:34:10 +0200 |
| commit | e24b0d23f75d8178ec76e362fcabc3ad68591198 (patch) | |
| tree | f4e9af8744818ab39180422a237f84deecc59643 | |
| parent | Fixed unhappy m4 comment (diff) | |
| download | wireguard-tamarin-e24b0d23f75d8178ec76e362fcabc3ad68591198.tar.xz wireguard-tamarin-e24b0d23f75d8178ec76e362fcabc3ad68591198.zip | |
.io -> .com
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |