set_config_id(3) - Linux man page
Name
set_config_id - Writes a driver ID in the configuration file. Allegro game programming library.Synopsis
#include <allegro.h>void set_config_id(const char *section, const char *name, int val);
void set_config_id(const char *section, const char *name, int val);