profiles/use.desc: remove gnat_201*

Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

diff --git a/profiles/use.desc b/profiles/use.desc
index c895ae9e9c71b690e039a85a2ea43c1ead61dfaf..7f3d0f37153cc0f631c208b999e5c84087b674c3 100644 (file)
--- a/profiles/use.desc
+++ b/profiles/use.desc
@@ -102,10 +102,6 @@ gimp - Build a plugin for the GIMP
 git - Enable git (version control system) support
 glut - Build an OpenGL plugin using the GLUT library
 gmp - Add support for dev-libs/gmp (GNU MP library)
-gnat_2016 - Compile with dev-lang/gnat-gpl-2016
-gnat_2017 - Compile with dev-lang/gnat-gpl-2017
-gnat_2018 - Compile with dev-lang/gnat-gpl-2018
-gnat_2019 - Compile with dev-lang/gnat-gpl-2019
 gnome - Add GNOME support
 gnome-keyring - Enable support for storing passwords via gnome-keyring
 gnuplot - Enable support for gnuplot (data and function plotting)