diff -r 000000000000 -r e78e463e1aa9 src/c2html.c
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/c2html.c	Fri May 24 11:04:56 2013 +0200
@@ -0,0 +1,4 @@
+int main(int argc, char** argv) {
+  return 0;
+}
+