# HG changeset patch
# User Jacob Dawid <jacob.dawid@googlemail.com>
# Date 1312217939 -7200
# Node ID 1ddef123bc1c1b2e63a9ca2d2af41170be7c6965
# Parent  e440b3f32f023b37cdd9a03b3b2bee62c497d9d1
Updated contributors.in.

diff -r e440b3f32f02 -r 1ddef123bc1c doc/interpreter/contributors.in
--- a/doc/interpreter/contributors.in	Mon Aug 01 18:51:36 2011 +0200
+++ b/doc/interpreter/contributors.in	Mon Aug 01 18:58:59 2011 +0200
@@ -252,3 +252,6 @@
 Michael Zeising
 Federico Zenith
 Alex Zvoleff
+Valentin Ortega-Clavero
+Jacob Dawid
+Júlio Hoffimann