testing stuff

diff --git a/something.c b/something.c
new file mode 100644 (file)
index 0000000..d8547c2
--- /dev/null
+++ b/something.c
@@ -0,0 +1,10 @@
+/*
+ * $Id: $
+ * $Date: $
+ * Dummy file
+ */
+
+int main(int argc, char ** argv) {
+  return 0;
+}
+