get_config_id (3) Linux Manual Page
get_config_id – Retrieves a driver ID from a configuration file. Allegro game programming library.
Synopsis
#include <allegro.h> int get_config_id(const char *section, const char *name, int def);
get_config_id – Retrieves a driver ID from a configuration file. Allegro game programming library.
int get_config_id(const char *section, const char *name, int def);