ada/aws
0
0
Fork 0
mirror of https://github.com/AdaCore/aws.git synced 2026-02-12 12:29:46 -08:00
Code Issues Packages Projects Releases Wiki Activity
12,162 Commits 95 Branches 39 Tags
master
Commit Graph

1 Commits

Author SHA1 Message Date
Pascal Obry
19099c15cf Move AWS documentation from texinfo format to SPHINX. 
Add a way to specify a specific version from the command line
by setting VERSION makefile's variable.

For MB14-040.
 2013-12-11 16:15:13 +01:00