Pascal Obry fcaa5fbb68 config/Makefile: Add GPROPTS to share GPR options. ...

Needed for building tools.

2023-05-13 08:04:49 +02:00

..

setup

Remove unused file

2022-01-19 11:57:39 +06:00

src

Fix timeout range check

2022-06-17 20:27:59 +06:00

ssl

Fix and improve comment

2022-02-16 15:52:01 +06:00

Makefile

config/Makefile: Add GPROPTS to share GPR options.

2023-05-13 08:04:49 +02:00

setup.gpr

Disable style checks on xoscons.adb.

2014-08-29 18:54:19 +02:00