| Sun, 02 Dec 2018 14:11:34 +0100 | wenzelm | obsolete (see 3ee6947bfb34); | file | diff | annotate |
| Fri, 17 Aug 2012 19:07:14 +0200 | wenzelm | some explanations on component categories; | file | diff | annotate |
| Fri, 17 Aug 2012 17:52:10 +0200 | wenzelm | some grouping of components; | file | diff | annotate |