# HG changeset patch # User etisserant # Date 1190958303 -7200 # Node ID 42f0e28a2399c303b40832192c9405ac302c3593 # Parent 7955adc445b87b155b35a3e1b9401f41e6d212b2 What is that empty ramp.cc file ?