changeset 24332:c8b06355e7ef

doc: Remove contributor not wishing to appear in manual. * contributors.in: Remove contributor not wishing to appear in manual.
author Rik <rik@octave.org>
date Wed, 29 Nov 2017 11:47:04 -0800
parents e9805c665ca1
children 0c1417a8d9d0
files doc/interpreter/contributors.in
diffstat 1 files changed, 0 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/doc/interpreter/contributors.in	Wed Nov 29 11:26:14 2017 -0800
+++ b/doc/interpreter/contributors.in	Wed Nov 29 11:47:04 2017 -0800
@@ -307,7 +307,6 @@
 Francesco Potortì
 Konstantinos Poulios
 Tejaswi D. Prakash
-Hugo Raguet
 Jarno Rajahalme
 Eduardo Ramos
 Pooja Rao