mirror of
https://github.com/AdaCore/aws.git
synced 2026-02-12 12:29:46 -08:00
Add a way to specify a specific version from the command line by setting VERSION makefile's variable. For MB14-040.
894 B
894 B