diff options
Diffstat (limited to '')
-rw-r--r-- | doc/started_ada/tversions.texi (renamed from doc/started_ada/versions.texi) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/started_ada/versions.texi b/doc/started_ada/tversions.texi index 1396f76e03..1396f76e03 100644 --- a/doc/started_ada/versions.texi +++ b/doc/started_ada/tversions.texi |