# HG changeset patch # User Rik # Date 1375391100 25200 # Node ID 743c9745009afc373a88931dc90e38998d8ad345 # Parent 13da13e1e17ffcc6a301cc1bfd9ab45f4a63f2ae doc: Add Philipp Kutin to contributors.in. * doc/interpreter/contributors.in: Add Philipp Kutin to list. diff --git a/doc/interpreter/contributors.in b/doc/interpreter/contributors.in --- a/doc/interpreter/contributors.in +++ b/doc/interpreter/contributors.in @@ -140,6 +140,7 @@ Piotr Krzyzanowski Volker Kuhlmann Tetsuro Kurita +Philipp Kutin Miroslaw Kwasniak Rafael Laboissiere Kai Labusch