2019-09-12 10:33:56 -07:00
|
|
|
import extensions;
|
2016-12-05 22:15:40 +01:00
|
|
|
|
2019-09-12 10:33:56 -07:00
|
|
|
public program()
|
|
|
|
|
{
|
|
|
|
|
console.printLine(program_arguments.asEnumerable()); // the whole command line
|
|
|
|
|
|
|
|
|
|
console.printLine(program_arguments[0]); // the program name
|
|
|
|
|
}
|
