Merge pull request #44 from floodlight/report-random

Report random seed in log even when not specified
diff --git a/DEVELOPING b/DEVELOPING
index ea6945a..f4383dc 100644
--- a/DEVELOPING
+++ b/DEVELOPING
@@ -13,7 +13,6 @@
          |-- tests
          |   `-- test cases
          `-- tools
-             |-- munger
              `-- pylibopenflow
 
     The tools directory is what processes the OpenFlow header
@@ -39,14 +38,6 @@
         testutils.py:    Test utilities
         base_tests.py:   Base test classes
 
-Important Notes
-+++++++++++++++
-
-    1.  If you change any of the code generation scripts in
-    tools/munger/scripts you must re-run make -C tools/munger to
-    regenerate the OpenFlow message classes. Make sure you
-    commit the generated code.
-
 Adding Your Own Test Cases
 ++++++++++++++++++++++++++
 
@@ -75,22 +66,6 @@
 
     Send a pull request on GitHub to floodlight/oftest.
 
-Other Info
-++++++++++
-
-    * Build doc with
-      + cd <oftest>/tools/munger
-      + make doc
-    Places the results in <oftest>/doc/html
-    If you have problems, check the install location doxypy.py and
-    that it is set correctly in <oftest>/doc/Doxyfile
-
-    * Run lint on sources
-      + cd <oftest>/tools/munger
-      + make lint
-    Places results in <oftest>/lint/*.log
-    The file controller.log currently has some errors indicated
-
 To Do
 +++++