Removed ancient useless file
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 30 Aug 2010 18:05:12 +0000 (11:05 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:35:53 +0000 (17:35 -0700)
It was bothering me when I tab-complete for kern/include/ext2-whatever.

kern/include/experiment.h [deleted file]

diff --git a/kern/include/experiment.h b/kern/include/experiment.h
deleted file mode 100644 (file)
index 5772941..0000000
+++ /dev/null
@@ -1,8 +0,0 @@
-#ifndef ROS_INC_EXPERIMENT_H
-#define ROS_INC_EXPERIMENT_H
-#define EXPERIMENT_NUM 11
-#define APP1_THREADS 5
-#define APP2_THREADS 5
-#define APP1_COLORS 50
-#define APP2_COLORS 50
-#endif