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