| Mon, 19 Nov 2007 11:09:09 +0100 | wenzelm | inform_file_processed: made even more robust against bad file specs; | changeset | files |
| Sun, 18 Nov 2007 16:10:12 +0100 | wenzelm | removed unused inform_file_processed; | changeset | files |
| Sun, 18 Nov 2007 16:10:11 +0100 | wenzelm | init_empty: check before change (avoids non-linear update); | changeset | files |