diff options
Diffstat (limited to 'doc/documentation.org')
-rw-r--r-- | doc/documentation.org | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/documentation.org b/doc/documentation.org index 5a1bf61..5b02f21 100644 --- a/doc/documentation.org +++ b/doc/documentation.org @@ -1,6 +1,6 @@ #+title: Vericert Manual #+subtitle: Release {{{version}}} -#+author: Yann Herklotz +#+author: ___ ___ #+email: git@ymhg.org #+language: en @@ -30,7 +30,7 @@ called [[https://compcert.org/compcert-C.html][CompCert]] to perform this transl :COPYING: t :END: -Copyright (C) 2019-2022 Yann Herklotz. +Copyright (C) 2019-2022 ___ ___. #+begin_quote Permission is granted to copy, distribute and/or modify this document |