From 8f2ab70bc868536e2db0688e6ffa5532d4793be9 Mon Sep 17 00:00:00 2001 From: Gautier de Montmollin Date: Fri, 21 Jul 2023 10:48:30 +0200 Subject: [PATCH] gid 10.0.0 tags update (#851) Added executable and some tags --- index/gi/gid/gid-10.0.0.toml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/index/gi/gid/gid-10.0.0.toml b/index/gi/gid/gid-10.0.0.toml index a5411cd3..d44de901 100644 --- a/index/gi/gid/gid-10.0.0.toml +++ b/index/gi/gid/gid-10.0.0.toml @@ -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"]