Changed version to 0.7.1 :-)

Author: JakubOnderka

parallel-lint.php

@@ -30,7 +30,7 @@ function showOptions()
  * Help
  */
 if (!isset($_SERVER['argv'][1]) || in_array('-h', $_SERVER['argv']) || in_array('--help', $_SERVER['argv'])) { ?>
-PHP Parallel Lint version 0.7.2
+PHP Parallel Lint version 0.7.1
 -----------------------------
 Usage:
     parallel-lint [sa] [-p php] [-e ext] [-j num] [--exclude dir] [files or directories]