public static int DumpText( List<string> args ) {
string Filename = args[0];
string Outfilename = args[1];
var File = new FileStream( Filename, FileMode.Open );
Tbl tbl = new Tbl();
tbl.LoadFile( File );
File.Close();
System.IO.File.WriteAllLines( Outfilename, tbl.Strings.ToArray() );
return 0;
}
public static int DumpText( List<string> args )
{
string Filename = args[0];
string Outfilename = args[1];
var File = new FileStream( Filename, FileMode.Open );
Tbl tbl = new Tbl();
tbl.LoadFile( File );
File.Close();
System.IO.File.WriteAllLines( Outfilename, tbl.Strings.ToArray() );
return 0;
}
