[ 23:44 marino  ]

• 348904 misc/Makefile
• 348904 misc/ini_file_manager
• 348904 misc/ini_file_manager/Makefile
• 348904 misc/ini_file_manager/distinfo
• 348904 misc/ini_file_manager/files
• 348904 misc/ini_file_manager/files/construct.gpr
• 348904 misc/ini_file_manager/files/example.gpr
• 348904 misc/ini_file_manager/files/ini_file_manager.gpr
• 348904 misc/ini_file_manager/files/runme.sh.in
• 348904 misc/ini_file_manager/pkg-descr

add new Ada dev port: misc/ini_file_manager

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/