Wed, 27 Jan 2021 19:42:49 +0200 | Teemu Piippo | update the status bar after getting disconnected | changeset | files |
Wed, 27 Jan 2021 19:39:14 +0200 | Teemu Piippo | handle exiting ZFC without using exceptions | changeset | files |
Wed, 27 Jan 2021 19:32:55 +0200 | Teemu Piippo | various little touchups | changeset | files |
Wed, 27 Jan 2021 19:28:18 +0200 | Teemu Piippo | updated copyright year | changeset | files |