gid 10.0.0 tags update (#851)

Added executable and some tags
This commit is contained in:
Gautier de Montmollin
2023-07-21 10:48:30 +02:00
committed by GitHub
parent afb26a16dc
commit 8f2ab70bc8
+2 -1
View File
@@ -7,7 +7,8 @@ licenses = "MIT"
maintainers = ["fabien.chouteau@gmail.com"]
maintainers-logins = ["zertovitch", "Fabien-Chouteau"]
project-files = ["gid.gpr"]
tags = ["image", "decoder", "bmp", "gif", "jpeg", "jpg", "png", "qoi"]
tags = ["image", "decoder", "bmp", "gif", "jpeg", "jpg", "pbm", "pgm", "png", "pnm", "ppm", "qoi", "tga", "targa"]
executables = ["to_bmp"]
[gpr-externals]
GID_Build_Mode = ["Debug", "Fast_but_checked", "Fast", "Small", "Smallest", "Profiling"]