diff options
Diffstat (limited to 'doc/man.org')
-rw-r--r-- | doc/man.org | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/man.org b/doc/man.org index cb6143f..03beded 100644 --- a/doc/man.org +++ b/doc/man.org @@ -69,11 +69,11 @@ vericert - A formally verified high-level synthesis tool. * AUTHOR -Written by Yann Herklotz, Michalis Pardalos, James Pollard, Nadesh Ramanathan and John Wickerson. +Written by ___ ___, Michalis Pardalos, ___ ___, ___ Ramanathan and John Wickerson. * COPYRIGHT -Copyright (C) 2019-2022 Yann Herklotz <yann@yannherklotz.com> +Copyright (C) 2019-2022 ___ ___ <___@______.com> This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by |