Merge pull request #730 from SrihariThalla/update-vagrantmd-doc

[nominatim.git] / lib / cmd.php

diff --git a/lib/cmd.php b/lib/cmd.php
index dc1af3251cd7a27917a21c193799a9a2f7308b2c..37ba87b8a51c69e38ca0758d378292f61590f756 100644 (file)
--- a/lib/cmd.php
+++ b/lib/cmd.php
@@ -1,5 +1,6 @@
 <?php
 
+
 function getCmdOpt($aArg, $aSpec, &$aResult, $bExitOnError = false, $bExitOnUnknown = false)
 {
     $aQuick = array();