147 |
@item -V, --version |
@item -V, --version |
148 |
Prints the version number for edit-pr. |
Prints the version number for edit-pr. |
149 |
|
|
150 |
@item -d, --database |
@item -d @var{database}, --database @var{database} |
151 |
Specifies the database containing the PR to be edited; if no database is |
Specifies the database containing the PR to be edited; if no database is |
152 |
specified, the database named @samp{default} is assumed. This option |
specified, the database named @samp{default} is assumed. This option |
153 |
overrides the database specified in the @code{GNATSDB} environment |
overrides the database specified in the @code{GNATSDB} environment |