Go to most recent revision | Blame | Last modification | View Log | RSS feed
/* 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 */