You can not select more than 25 topics
			Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
		
		
		
		
			
	
	
		
			
				
					
						
						
							| 1234567891011121314151617 | 
							- echo "pull /cnt/ ..."
 - cd cnt
 - git pull
 - echo "... done (pulling /cnt/)"
 - echo ""
 - 
 - echo "pull /pruefungen/ ..."
 - cd ../pruefungen
 - git pull
 - echo "... done (pulling /pruefungen/)"
 - echo ""
 - 
 - echo "pull /framework/ ..."
 - cd ../framework
 - git pull
 - echo "... done (pulling /framework/)"
 - echo ""
 
 
  |