Anthony Leonardo Gracio 83c28362e7 Remove obsolete section in GS user's guide ...

Already documented in GNAT UG.

For eng/ide/gnatstudio#564

2025-07-30 12:32:09 +00:00

..

programmers_guide

Replace private Git URL by public one

2024-11-27 10:05:35 +00:00

tutorial

Reformat code with black.

2024-06-06 12:20:22 +00:00

users_guide

Remove obsolete section in GS user's guide

2025-07-30 12:32:09 +00:00

.cvsignore

Fix permissions

2009-11-23 20:11:05 +00:00

docs.gpr

Remove GNATdoc documentation from GNATstudio repository.

2023-09-13 10:03:22 +00:00

gnatstudio_index.xml

Revive gnatdoc menu entry under /Help/Tools/

2025-06-04 14:22:13 +00:00

gnatstudio-splash.png

S905-003: Center version label and splash screen

2019-09-10 17:28:15 +02:00

gnatstudio-welcome-public.html.in

T206-042 Automatically generate the date in the doc

2020-02-07 08:44:52 -05:00

gnatstudio-welcome.html.in

T206-042 Automatically generate the date in the doc

2020-02-07 08:44:52 -05:00

help_index.html

S910-005: Update HTML documenation files and conf.py

2019-09-17 10:50:24 +02:00

Makefile.in

Remove GNATdoc documentation from GNATstudio repository.

2023-09-13 10:03:22 +00:00