minor fixes server/scripts/update_from_dev.sh

Florian Schaal

2015-11-09 ae90481f48be5ad22d9eba520d0d219b965b99ca

 interface/web/tools/lib/menu.d/resync.menu.php

@@ -11,7 +11,6 @@
      'target'  => 'content',
      'link' => 'tools/resync.php');


   $module['nav'][] = array( 'title' => 'Sync Tools',
      'open'  => 1,
      'items' => $items);