diff -r c33ee6e3ef5f -r 0d7de9d0878b doc/us/examples.html --- a/doc/us/examples.html Thu Apr 03 14:17:41 2014 +0100 +++ b/doc/us/examples.html Thu Apr 03 14:30:36 2014 +0100 @@ -3,7 +3,7 @@
- $Id: examples.html,v 1.5 2006/03/23 00:19:37 carregal Exp $ -