<?php
//________________________________________________________________________________________________________
//
//	Fichero de idiomas php: informacion_repositorio_eng.php 
//	Idioma: English
//________________________________________________________________________________________________________
	if (empty ($TbMsg)) $TbMsg=array();
	$TbMsg[0]='Repositories';
	$TbMsg[1]='Repositories Information';
	$TbMsg[2]='Repository';
	$TbMsg[3]='Repository Information';
	$TbMsg[4]='Comments';
	$TbMsg[5]='Hosted Images';	
	$TbMsg["IMGTYPE1"]='monolithic';
	$TbMsg["IMGTYPE2"]='base synchronized';
	$TbMsg["IMGTYPE3"]='incremental synchronized';
	$TbMsg[6]='Computers assigned';		
?>

