Sat, 25 May 2024 12:09:37 +0200 | wenzelm | clarified signature (see also be0ab4b94c62 and c41791ad75c3); | file | diff | annotate |
Wed, 17 Apr 2024 21:20:31 +0200 | wenzelm | clarified signature; | file | diff | annotate |
Mon, 01 Apr 2024 14:36:28 +0200 | wenzelm | clarified "bulky" sessions (again, see also 06153e2e0cdb), but note that "very_slow" is normally used together with "slow"; | file | diff | annotate |
Thu, 28 Mar 2024 16:27:36 +0100 | wenzelm | clarified modules: more official Sessions.notable_groups; | file | diff | annotate |
Sat, 20 Jan 2024 15:07:41 +0100 | wenzelm | clarified directories; | file | diff | annotate | base |