/* * Created by SharpDevelop. * User: ${USER} * Date: ${DATE} * Time: ${TIME} * * To change this template use Tools | Options | Coding | Edit Standard Headers. */ ' ' Created by SharpDevelop. ' User: ${USER} ' Date: ${DATE} ' Time: ${TIME} ' ' To change this template use Tools | Options | Coding | Edit Standard Headers. ' /* * Created by SharpDevelop. * User: ${USER} * Date: ${DATE} * Time: ${TIME} * * To change this template use Tools | Options | Coding | Edit Standard Headers. */