Anthony Leonardo Gracio 6e78f296f7 Merge branch 'topic/gtkada#8' into 'master' ...

Update GtkAda's documentation for building on Unix

See merge request eng/ide/gtkada!15

(cherry picked from commit 5dbc4f18d6)

cea26068 Update GtkAda's documentation for building on Unix

2024-02-12 10:46:29 +00:00

..

gtkada_rm

Bump version to 18.0

2016-11-21 14:50:51 -05:00

gtkada_ug

Merge branch 'topic/gtkada#8' into 'master'

2024-02-12 10:46:29 +00:00

Makefile

Move installation to gprinstall.

2015-06-30 21:01:56 +02:00

texi2html

Fix file permissions.

2009-12-01 18:01:18 +00:00