| Wed, 12 Feb 2025 20:21:33 +0100 | wenzelm | more operations; | file | diff | annotate |
| Wed, 12 Feb 2025 20:18:21 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 12 Feb 2025 20:05:42 +0100 | wenzelm | tuned signature: more explicit operations; | file | diff | annotate |
| Wed, 12 Feb 2025 15:22:47 +0100 | wenzelm | support persistent store for file-system content (notably SQLite); | file | diff | annotate |