Vadim Godunko be851c6407 Merge branch 'topic/vadim/winfix' into 'master' ...

Use "bash" to run script, it is necessary on Windows.

Closes #63

See merge request eng/ide/gnatdoc!93

(cherry picked from commit acd7c3a20f)

99286300 Use "bash" to run script, it is necessary on Windows.

2023-11-29 08:42:59 +00:00

..

core/spec_and_expr_function

Test data for testing.

2023-08-09 10:02:48 +04:00

drivers

Fix test to use new VSS JSON API

2023-06-26 14:59:38 +04:00

executable/sanity_check

Merge branch 'topic/vadim/mainbody' into 'master'

2023-11-28 09:30:13 +00:00

extractor

Update test.

2023-09-12 17:16:43 +04:00

gnatdoc.RB16-013.gpr_tool

Rename gnatdoc4 to gnatdoc.

2023-09-13 14:23:53 +04:00

Makefile

Use e3-testsuite for extractor's tests.

2023-08-01 15:39:04 +04:00

testsuite.py

Merge branch 'topic/vadim/winfix' into 'master'

2023-11-29 08:42:59 +00:00