changeset 23235:a36d3015f8c8

doc: remove duplicate name in contributors.in (bug #46740) * doc/interpreter/contributors.in: remove duplicate name.
author Kai T. Ohlhus <k.ohlhus@gmail.com>
date Sat, 25 Feb 2017 20:54:02 +0100
parents aaf20024db6f
children 4cd5f975d26c
files doc/interpreter/contributors.in
diffstat 1 files changed, 0 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/doc/interpreter/contributors.in	Sat Feb 25 17:57:01 2017 +0100
+++ b/doc/interpreter/contributors.in	Sat Feb 25 20:54:02 2017 +0100
@@ -300,7 +300,6 @@
 Jef Poskanzer
 Francesco Potortì
 Konstantinos Poulios
-Kostas Poulios
 Jarno Rajahalme
 Eduardo Ramos
 Pooja Rao