Pierre Schmitz Sun, 04 Mar 2012 16:07:26 -0800
Date: Sunday, March 4, 2012 @ 19:07:11 Author: pierre Revision: 152157
extra2community: Moving ristretto from extra to community Deleted: ristretto/