OpenGrok

38 class Option(object):
40         self.cname = cname('option')
55         for option in xml.findall('option'):
56             self.options.append(Option(option))
65         for option in xml.findall('option'):
66             self.options.append(Option(option))
148 %    for option in options:
149     { .name = "${option.name}", .value = "${option.value}" },

Indexes created Tue Apr 07 00:22:49 UTC 2026