Tue, 28 Aug 2018 21:08:42 +0200 | wenzelm | merged | changeset | files |
Tue, 28 Aug 2018 21:08:05 +0200 | wenzelm | systematic access to command ids; | changeset | files |
Tue, 28 Aug 2018 15:25:28 +0200 | wenzelm | more robust: Pure entities may lack id; | changeset | files |