| Thu, 20 Aug 2020 21:56:28 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 20 Aug 2020 16:00:59 +0200 | wenzelm | merged | changeset | files |
| Thu, 20 Aug 2020 16:00:50 +0200 | wenzelm | preload library; | changeset | files |
| Thu, 20 Aug 2020 15:45:22 +0200 | wenzelm | update to kodkodi-1.5.4-1; | changeset | files |
| Thu, 20 Aug 2020 14:22:49 +0200 | wenzelm | clarified signature; | changeset | files |
| Wed, 19 Aug 2020 20:14:41 +0200 | wenzelm | more realistic kodkod invocation, imitating command-line tool; | changeset | files |
| Wed, 19 Aug 2020 13:29:53 +0200 | wenzelm | update to kodkodi-1.5.4; | changeset | files |