playground/base/guidance
f.getSections(name): if section.identifier is not None: used_identifiers.append(section.identifier) --- trunk/playground/base/guidance/setup.py #484772:484773 @@ -21,7 +21,7 @@ ####### def doit(
playground/base/guidance
SVN commit 481868 by sedwards: * GenericNames added to the .desktop files. * debian/rules executable bit set. MM +0 -6 debian/rules M +2 -0 displayconfig/displayconfig.desktop M +1 -0 mountconfig/mountconfig.desktop M +1 -0 serviceconfig/serviceconfig.desktop