ini_files tags (#727)
This commit is contained in:
committed by
GitHub
parent
3766b0663e
commit
81fc78bd20
@@ -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"
|
||||
|
||||
Reference in New Issue
Block a user