Нет сведений home:rguenther:plgrnd / gnu-getopt