diff --git a/opam b/opam index a72a1319bd11b9b2b3c791dc34698f7cc080e823..1483c4466ca49ad7bafddc56f46be8f6ac65b27e 100644 --- a/opam +++ b/opam @@ -61,6 +61,7 @@ authors: [ "Armand Puccetti" "Félix Ridoux" "Virgile Robles" + "Jan Rochel" "Muriel Roger" "Julien Signoles" "Nicolas Stouls" diff --git a/src/plugins/gui/help_manager.ml b/src/plugins/gui/help_manager.ml index 9d08557f5be500e6d7a3bfb2bd634388664e8b5f..d0e1fedf9ea17fd08e0c576e6348fef59e01418b 100644 --- a/src/plugins/gui/help_manager.ml +++ b/src/plugins/gui/help_manager.ml @@ -64,6 +64,7 @@ let show main_ui = "Armand Puccetti"; "Félix Ridoux"; "Virgile Robles"; + "Jan Rochel"; "Muriel Roger"; "Julien Signoles"; "Nicolas Stouls";