.. |
aws.gpr.in
|
|
|
patch-aws.gpr
|
|
|
patch-gps_makefile
|
|
|
patch-include_include.gpr
|
|
|
patch-makefile
|
|
|
patch-regtests_0043__check__mem_test.opt
|
|
|
patch-regtests_0213__check__mem__nossl_test.opt
|
|
|
patch-src_core_aws-net.adb
|
|
|
patch-src_extended_aws-services-dispatchers-timer.adb
|
|
|
patch-src_src.gpr
|
|
|
patch-ssl__crypto_lib.gpr
|
|
|
patch-tools_tools.gpr
|
|
|
temparse.gpr.in
|
|
|