1 files changed, 0 insertions, 9 deletions
diff --git a/pintos-progos/examples/hello.c b/pintos-progos/examples/hello.c
deleted file mode 100644
index a12fd94..0000000
--- a/pintos-progos/examples/hello.c
+++ /dev/null
@@ -1,9 +0,0 @@
-#include <stdio.h>
-#include <syscall.h>
-int
-main (int argc, char **argv)
-{
-  printf ("Hello World :)\n");
-  return EXIT_SUCCESS;
-}

diff --git a/pintos-progos/examples/hello.c b/pintos-progos/examples/hello.c deleted file mode 100644 index a12fd94..0000000 --- a/pintos-progos/examples/hello.c +++ /dev/null
@@ -1,9 +0,0 @@
1	#include <stdio.h>
2	#include <syscall.h>
3
4	int
5	main (int argc, char **argv)
6	{
7	printf ("Hello World :)\n");
8	return EXIT_SUCCESS;
9	}