| Sat, 11 Jul 2020 14:44:50 +0200 | wenzelm | removed unused property; | changeset | files |
| Sat, 11 Jul 2020 06:21:04 +0000 | haftmann | signed_take_bit | changeset | files |
| Sat, 11 Jul 2020 06:21:02 +0000 | haftmann | more on single-bit operations | changeset | files |
| Fri, 10 Jul 2020 22:38:03 +0200 | wenzelm | proper session Timing for build_history log file (see 5c4800f6b25a); | changeset | files |