# HG changeset patch # User John W. Eaton # Date 1349276950 14400 # Node ID d5c04a5c881752214743fe1b1e84296fe35528a3 # Parent 0133339a51c34fefde47093c217303f23fd66f56 * contributors.in: Include Panxto Diribarne in the list. diff -r 0133339a51c3 -r d5c04a5c8817 doc/interpreter/contributors.in --- a/doc/interpreter/contributors.in Wed Oct 03 11:06:48 2012 -0400 +++ b/doc/interpreter/contributors.in Wed Oct 03 11:09:10 2012 -0400 @@ -48,6 +48,7 @@ Bill Denney Fabian Deutsch Christos Dimitrakakis +Pantxo Diribarne Vivek Dogra David M. Doolin Carnë Draug