diff options
author | John Ankarström <john@ankarstrom.se> | 2020-11-11 11:10:28 +0100 |
---|---|---|
committer | John Ankarström <john@ankarstrom.se> | 2020-11-11 11:10:28 +0100 |
commit | 8c3cbea35f50ba2748731f6de908f0b2e615b153 (patch) | |
tree | ec037f296481361e4d5fa78451cce0d4fba51717 | |
parent | c014fbffff8e35f773c5c797ddeaae59367176a0 (diff) | |
parent | ca2556067707b9657b6a8c14bad1c6b21a829c36 (diff) | |
download | rf-8c3cbea35f50ba2748731f6de908f0b2e615b153.tar.gz |
Merge branch 'master' of ankarstrom.se:/git/rf
-rwxr-xr-x | rf | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -80,7 +80,7 @@ for (@lines) { print STDERR "Error: Reference '$def' could not be resolved.\n"; exit 1; } - if ($points[$winner] < 11) { + if ($points[$winner] < 150) { print STDERR "Warning: Guessing that reference '$def' refers to " . fmt($format_full, $winner) . ".\n"; } |