Subversion Repositories shark

/* This file is not used. It is here because the make needs it */
/* Removing this filename from the makefile entry did not work */
/* So we let this file be but without any body                 */