[crac] Integrated: Document CRaCCheckpointTo and CRaCRestoreFrom in java(1) man page

[Jan Kratochvil]

On Thu, 23 Feb 2023 11:42:21 GMT, Jan Kratochvil <duke at openjdk.org> wrote:

> Document CRaCCheckpointTo and CRaCRestoreFrom in java(1) man page.

This pull request has now been integrated.

Changeset: dff32bca
Author:    Jan Kratochvil <jan at jankratochvil.net>
Committer: Anton Kozlov <akozlov at openjdk.org>
URL:       https://git.openjdk.org/crac/commit/dff32bcaf423eb9dfd339e2d043e8f412c901de0
Stats:     17 lines in 1 file changed: 17 ins; 0 del; 0 mod

Document CRaCCheckpointTo and CRaCRestoreFrom in java(1) man page

Reviewed-by: akozlov

-------------

PR: https://git.openjdk.org/crac/pull/49