Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | lang/gnat_util: Update for 2015 tools | John Marino | 2015-06-27 | 1 | -27/+0 |
* | lang/gnat_util: Add set_std_prefix and update_path symbols | John Marino | 2014-05-22 | 1 | -0/+27 |
![]() |
index : ports.git | |
Unnamed repository; edit this file 'description' to name the repository. | git |
summaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | lang/gnat_util: Update for 2015 tools | John Marino | 2015-06-27 | 1 | -27/+0 |
* | lang/gnat_util: Add set_std_prefix and update_path symbols | John Marino | 2014-05-22 | 1 | -0/+27 |