Skip to content

Commit

Permalink
copyright
Browse files Browse the repository at this point in the history
  • Loading branch information
@amahboubi
amahboubi committed Nov 20, 2020
1 parent 3441fff commit d466bb8
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion tex/main.tex
View file
Original file line number Diff line number Diff line change
Expand Up @@ -97,7 +97,7 @@
~\vfill
\thispagestyle{empty}

\noindent Copyright \copyright\ 2018 Assia Mahboubi and Enrico Tassi and Yves Bertot and Georges Gonthier\\
\noindent Copyright \copyright\ 2020 Yves Bertot and Georges Gonthier and Assia Mahboubi and Enrico Tassi\\

% \noindent \textsc{Published by us}\\ % Publisher

Expand Down

0 comments on commit d466bb8

Please sign in to comment.