Wed, 28 Mar 2018 12:12:19 -0700 | huffman | tuned some proofs | changeset | files |
Wed, 28 Mar 2018 11:19:07 -0700 | huffman | tuned some proofs about filters | changeset | files |
Wed, 28 Mar 2018 13:46:21 +0200 | wenzelm | clarified handling of stdout vs. stderr: the cronjob should normally be silent; | changeset | files |