ini-files

github.comtool

The Ini file manager consists of a package, Config, which can read and modify informations from various configuration files known as "ini" files.

from

Ada/SPARK

added

2026-10-10

likes

0

Ada/SPARK › Libraries > Format Readers, Writers and Checkers: “The Ini file manager consists of a package, Config, which can read and modify informations from various configuration files known as "ini" files.”