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