Sun, 21 Aug 2022 12:41:16 +0200 | wenzelm | tuned sources and comments; | file | diff | annotate |
Sun, 21 Aug 2022 12:35:45 +0200 | wenzelm | clarified signature; | file | diff | annotate |
Sun, 21 Aug 2022 12:23:17 +0200 | wenzelm | tuned sources and comments; | file | diff | annotate |
Sun, 21 Aug 2022 12:19:38 +0200 | wenzelm | clarified names: Browser_Info.Config vs. Browser_Info.Context; | file | diff | annotate |
Sun, 21 Aug 2022 11:59:25 +0200 | wenzelm | clarified modules; | file | diff | annotate | base |