| Fri, 28 Apr 2017 13:21:03 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 28 Apr 2017 13:18:06 +0200 | wenzelm | unused; | changeset | files |
| Fri, 28 Apr 2017 11:50:31 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 28 Apr 2017 11:45:44 +0200 | wenzelm | more standard multi-line storage in database: Prop.separator is only required for single-line meta_info within log file; | changeset | files |
| Fri, 28 Apr 2017 11:29:41 +0200 | wenzelm | clarified filter_files: sorted and unique; | changeset | files |
| Fri, 28 Apr 2017 00:17:34 +0200 | wenzelm | database storage of Meta_Info and Build_Info; | changeset | files |