Sat, 31 Dec 2016 15:18:04 +0100 | wenzelm | ignore message; | changeset | files |
Sat, 31 Dec 2016 14:35:37 +0100 | wenzelm | clarified node_visible; | changeset | files |
Sat, 31 Dec 2016 14:29:16 +0100 | wenzelm | tuned signature; | changeset | files |
Sat, 31 Dec 2016 14:27:07 +0100 | wenzelm | proper state update; | changeset | files |
Sat, 31 Dec 2016 14:20:50 +0100 | wenzelm | proper log; | changeset | files |
Sat, 31 Dec 2016 11:45:24 +0100 | wenzelm | tuned; | changeset | files |
Sat, 31 Dec 2016 11:43:06 +0100 | wenzelm | tuned signature; | changeset | files |