From 81fc78bd202ad66546d11fe51195742af61711d8 Mon Sep 17 00:00:00 2001 From: Gautier de Montmollin Date: Fri, 20 Jan 2023 10:01:10 +0100 Subject: [PATCH] ini_files tags (#727) --- index/in/ini_files/ini_files-10.0.0.toml | 1 + 1 file changed, 1 insertion(+) diff --git a/index/in/ini_files/ini_files-10.0.0.toml b/index/in/ini_files/ini_files-10.0.0.toml index 0b57802c..10ea591f 100644 --- a/index/in/ini_files/ini_files-10.0.0.toml +++ b/index/in/ini_files/ini_files-10.0.0.toml @@ -7,6 +7,7 @@ website = "https://sourceforge.net/p/ini-files/" maintainers = ["rolf.ebert.gcc@gmx.de", "gdemont@hotmail.com"] maintainers-logins = ["RREE", "zertovitch"] project-files = ["ini_files.gpr"] +tags = ["ini", "cfg", "config"] [origin] url = "https://sourceforge.net/projects/ini-files/files/ini-files/ini-files-10.zip"