Qualche indicizzazione e dei TODO sui timer (su indicazioni di Alessio

[gapil.git] / listati / redir_stdout.c

    fclose(stdout);
    stdout = fopen("standard-output-file", "w");