mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-12 03:00:28 +00:00
345591ef02
The Ini file manager consists of a package, Config, which can read or write informations from various configuration files known as "ini" files because they have often the ".ini" extension. They are text files which look like the following: ; Comment line [Section 1] a_string = abcd # a comment here... a_number = +123.456 ; another comment [Section 2] a_string = efgh For more examples in this format, just search files with the .ini extension on a windows-based computer. WWW: http://sourceforge.net/projects/ini-files/
9 lines
248 B
Plaintext
9 lines
248 B
Plaintext
include/ini_file_manager/config.adb
|
|
include/ini_file_manager/config.ads
|
|
lib/gnat/ini_file_manager.gpr
|
|
lib/ini_file_manager/config.ali
|
|
lib/ini_file_manager/libinifiles.a
|
|
@dirrm lib/ini_file_manager
|
|
@dirrmtry lib/gnat
|
|
@dirrm include/ini_file_manager
|