diff --git a/opam b/opam index ca6dd2be800bbd63a8293969fa83286e14ba63db..816adfb521400171d3ce556ddb8324f88a607059 100644 --- a/opam +++ b/opam @@ -53,6 +53,7 @@ authors: [ "Melody Méaulle" "Benjamin Monate" "Yannick Moy" + "Pierre Nigron" "Anne Pacalet" "Valentin Perrelle" "Guillaume Petiot" diff --git a/src/plugins/gui/help_manager.ml b/src/plugins/gui/help_manager.ml index d0e1fedf9ea17fd08e0c576e6348fef59e01418b..0ac0ab6798b22bfc04ea81c49090ad2190cd248a 100644 --- a/src/plugins/gui/help_manager.ml +++ b/src/plugins/gui/help_manager.ml @@ -56,6 +56,7 @@ let show main_ui = "Melody Méaulle"; "Benjamin Monate"; "Yannick Moy"; + "Pierre Nigron"; "Anne Pacalet"; "Valentin Perrelle"; "Guillaume Petiot";