set_config_int(3alleg4) on Linux

The text 7e2ad2a45128, as Debian 13 (Trixie), Debian 12 (Bookworm), Debian 11 (Bullseye) shipped it. The page shows this text now.

Writes an integer in the configuration file. Allegro game programming library.