diff options
Diffstat (limited to 'translate/grt/grt-options.ads')
| -rw-r--r-- | translate/grt/grt-options.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/translate/grt/grt-options.ads b/translate/grt/grt-options.ads index c71abacda..3057fc8e3 100644 --- a/translate/grt/grt-options.ads +++ b/translate/grt/grt-options.ads @@ -41,7 +41,7 @@ package Grt.Options is -- Consistent flags used for analysis. -- Format is "VVitr", where: - -- 'VV' is the version (87 or 93). + -- 'VV' is the version (87, 93 or 08). -- 'i' is the integer size ('i' for 32 bits, 'I' for 64 bits). -- 't' is the time size ('t' for 32 bits, 'T' for 64 bits). -- 'r' is the resolution ('?' for to be set by the user, '-' for any). |