From ff809e033e619f239f4c2c79a0ad9111fcdb74fd Mon Sep 17 00:00:00 2001 From: Cas Cremers Date: Sun, 12 Feb 2023 22:04:17 +0100 Subject: [PATCH] For feedback on manual, point people to pull requests on github. --- manual/scyther-manual.tex | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/manual/scyther-manual.tex b/manual/scyther-manual.tex index 262f053..91a6c7e 100644 --- a/manual/scyther-manual.tex +++ b/manual/scyther-manual.tex @@ -240,11 +240,7 @@ \sf {\bf Note:} This is a draft of the new version of the Scyther manual. The manual may therefore be incomplete at points. -%% CC note: This is obsolete, both because of the e-mail address, and because I can't possibly respond to all mails myself. -%Any feedback is -%welcome and can be sent to Cas Cremers by e-mail: -%{\tt cas.cremers@cs.ox.ac.uk}. -% +Constructive feedback on this manual is best provided as a pull request at the official github page of Scyther at \url{https://github.com/cascremers/scyther}. }} \end{center}