From 4ab563b2df63cc137dd8f1a4825b4963e8c68efc Mon Sep 17 00:00:00 2001 From: Joao Eriberto Mota Filho Date: Mon, 21 Jan 2019 01:08:21 -0200 Subject: [PATCH] Added rights for Helmut Grohne --- Makefile.in | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile.in b/Makefile.in index dd91970..3d27fa7 100644 --- a/Makefile.in +++ b/Makefile.in @@ -1,5 +1,6 @@ # OutGuess 0.1 Makefile (c) 1999 Niels Provos # 2018 Frédéric Bonnard +# 2019 Helmut Grohne srcdir = @srcdir@ VPATH = @srcdir@